395 search results - page 56 / 79 » Encoding Algorithms for Logic Synthesis |
111
click to vote
ENTCS
2006
15 years 2 months ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
183
click to vote
FPGA
2006
ACM
15 years 6 months ago
2006
ACM
In this paper, we propose a technique to flexibly implement genetic algorithms for various problems on FPGAs. For the purpose, we propose a basic architecture for GA which consist...
110
click to vote
DAC
2004
ACM
16 years 3 months ago
2004
ACM
A modular synthesis flow is essential for a scalable and hierarchical design methodology. This paper considers a particular modular flow where each module has interface methods an...
115
click to vote
ICCD
2002
IEEE
15 years 11 months ago
2002
IEEE
Boolean functions are fundamental to synthesis and verification of digital logic, and compact representations of Boolean functions have great practical significance. Popular repre...
118
click to vote
FM
2003
Springer
15 years 7 months ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...