462 search results - page 56 / 93 » Symbolic Bounded Synthesis |
DAC
1996
ACM
15 years 6 months ago
1996
ACM
PPP is a Web-based simulation and synthesis environment for low-power design. In this paper we describe the gate-level simulation engine of PPP, that achieves accuracy always with...
147
Voted
ACSD
2001
IEEE
15 years 5 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
162
click to vote
DAC
1994
ACM
15 years 5 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
NAR
1998
15 years 1 months ago
1998
The RNA modification database provides a comprehensive listing of posttranscriptionally modified nucleosides from RNA, and is maintained as an updated version of the initial print...
107
Voted
SCAM
2007
IEEE
15 years 8 months ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...