1210 search results - page 39 / 242 » Secure Logic Synthesis |
162
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We describe Haskell implementations of interesting combinatorial generation algorithms with focus on boolean functions and logic circuit representations. First, a complete exact c...
152
click to vote
ICC
2009
IEEE
16 years 21 days ago
2009
IEEE
: It is well known that no security mechanism can provide full protection against a potential attack. There is always a possibility that a security incident may happen, mainly as a...
164
click to vote
EMSOFT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Advances in VLSI technology have lead to a tremendous increase in the density and number of devices that can be manufactured in a single microchip. One of the interesting...
405
click to vote
DAC
2012
ACM
13 years 8 months ago
2012
ACM
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
151
click to vote
CAV
2007
Springer
16 years 4 days 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...