2607 search results - page 73 / 522 » Complete Functional Synthesis |
144
Voted
DAC
2002
ACM
16 years 4 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
127
click to vote
ICCAD
2003
IEEE
16 years 10 days ago
2003
IEEE
Reversible logic has applications in quantum computing, low power CMOS, nanotechnology, optical computing, and DNA computing. The most common reversible gates are the Toffoli gate...
138
click to vote
INFORMATICALT
2007
15 years 3 months ago
2007
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
139
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
253
Voted
DELTA
2006
IEEE
15 years 9 months ago
2006
IEEE
The co-design of hardware and software systems with object oriented design languages like SystemC has become very popular. Static analysis of those descriptions allows to conduct ...