395 search results - page 17 / 79 » Encoding Algorithms for Logic Synthesis |
107
Voted
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We present a novel coalgebraic logic for deterministic Mealy machines that is sound, complete and expressive w.r.t. bisimulation. Every finite Mealy machine corresponds t...
120
click to vote
GLVLSI
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we develop a theory of equivalence checking (EC) and logic synthesis of circuits with a common specification (CS). We show that two combinational circuits N1, N2 have...
112
click to vote
TVLSI
2010
14 years 9 months ago
2010
Hardware debuggers and logic analyzers must be able to record a continuous trace of data. Since the trace data are tremendous, to save space, these traces are often compressed. The...
110
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we propose a complete chain for synthesizing controllers from high-level specifications. From real-time properties expressed in the logic MTL we generate, under boun...
133
click to vote
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
Quantum information processing technology is in its pioneering stage and no proficient method for synthesizing quantum circuits has been introduced so far. This paper introduces a...