9 search results - page 1 / 2 » Efficient encoding for exact symbolic automata-based schedul... |
ICCAD
1998
IEEE
15 years 3 months ago
1998
IEEE
ASPDAC
2007
ACM
15 years 2 months ago
2007
ACM
In this paper, we present a method for generating checker circuits from sequential-extended regular expressions (SEREs). Such sequences form the core of increasingly-used Assertion...
99
Voted
EMSOFT
2009
Springer
15 years 2 months ago
2009
Springer
This paper addresses the question of producing modular sequential imperative code from synchronous data-flow networks. Precisely, given a system with several input and output flow...
70
Voted
DAC
1994
ACM
15 years 3 months ago
1994
ACM
- This paper describes a symbolic formulation that allows incorporation of speculative operation execution (preexecution) in an exact control-dependent scheduling of arbitrary forw...
76
Voted
DAC
2000
ACM
15 years 12 months ago
2000
ACM
We recently introduced symbolic timing simulation (STS) using data-dependent delays as a tool for verifying the timing of fullcustom transistor-level circuit designs, and for the ...