1151 search results - page 32 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
160
Voted
AEI
1999
15 years 3 months ago
1999
Design synthesis represents a highly complex task in the field of industrial design. The main difficulty in automating it is the definition of the design and performance spaces, i...
117
Voted
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
BLIF is a hardware description language designed for the hierarchical description of sequential circuits. We give a denotational semantics for BLIF-MV, a popular dialect of BLIF, t...
231
Voted
DAC
2008
ACM
16 years 4 months ago
2008
ACM
SystemCoDesigner is an ESL tool developed at the University of Erlangen-Nuremberg, Germany. SystemCoDesigner offers a fast design space exploration and rapid prototyping of behavi...
138
Voted
IESS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract System level design is considered a major approach to tackle the complexity of modern System-on-Chip designs. Embedded software within SoCs is gaining importance as it add...
109
Voted
ISCAS
1999
IEEE
15 years 8 months ago
1999
IEEE
To provide a better understanding of physical design algorithms and the underlying circuit architecture they are targeting, we need to exercise the algorithms and architectures wi...