125 search results - page 17 / 25 » Design of Asynchronous Circuits Using Synchronous CAD Tools |
CAV
2010
Springer
13 years 8 months ago
2010
Springer
ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transforma...
VLSID
1997
IEEE
14 years 23 days ago
1997
IEEE
—Logical initializability is the property of a gate-level circuit whereby it can be driven to a unique start state when simulated by a three-valued (0, 1, ) simulator. In practic...
CSCW
2002
ACM
13 years 8 months ago
2002
ACM
We report an empirical study of a synchronous messaging application with group-oriented functionality designed to support teams in the workplace. In particular, the tool supports ...
DSD
2005
IEEE
14 years 2 months ago
2005
IEEE
We describe a new e-learning environment and a runtime platform for educational tools on digital system testing and design for testability. This environment is being developed in ...
ASPDAC
2008
ACM
13 years 10 months ago
2008
ACM
ACT Benchmarks are an immensely useful tool in performing research since they allow for rapid and clear comparison between different approaches to solving CAD problems. Recent expe...