894 search results - page 106 / 179 » Optimizations for LTL Synthesis |
93
Voted
ISCAS
2003
IEEE
15 years 6 months ago
2003
IEEE
Communication synthesis is an essential step in hardware/software co-synthesis: many embedded systems use automatic generation of interface for point to point communication or use...
105
Voted
FCCM
2002
IEEE
15 years 5 months ago
2002
IEEE
C-slow retiming (changing a design to support multiple instances of a computation) and datapath-aware placement have long been advocated by members of the FPGA synthesis community...
146
Voted
GLVLSI
2002
IEEE
15 years 5 months ago
2002
IEEE
Spectral techniques have found many applications in computeraided design, including synthesis, verification, and testing. Decision diagram representations permit spectral coeffici...
117
Voted
VLDB
1990
ACM
15 years 4 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
110
click to vote
CEC
2003
IEEE
15 years 4 months ago
2003
IEEE
Evolutionary computation presents a new paradigm shift in hardware design and synthesis. According to this paradigm, hardware design is pursued by deriving inspiration from biologi...