1151 search results - page 36 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
122
Voted
ICCAD
2001
IEEE
16 years 18 days ago
2001
IEEE
Efficient high level design tools that can map behavioral descriptions to FPGA architectures are one of the key requirements to fully leverage FPGA for high throughput computatio...
128
Voted
DAC
2007
ACM
16 years 4 months ago
2007
ACM
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
144
Voted
VLSISP
2008
15 years 3 months ago
2008
In this paper we describe a regular expression pattern matching approach for reconfigurable hardware. Following a Non-deterministic Finite Automata direction, we introduce three ne...
126
Voted
CEC
2010
IEEE
15 years 4 months ago
2010
IEEE
Embodying robot morphologies evolved in simulation can present serious problems for an engineer when translating simplified simulated mechanisms into working devices, often drawing...
102
Voted
ICTAI
2008
IEEE
15 years 10 months ago
2008
IEEE
Control architectures, such as the LAAS architecture [1], CLARATY [12] and HARPIC [9], have been developped to provide autonomy to robots. To achieve a robot’s task, these contr...