1210 search results - page 17 / 242 » Secure Logic Synthesis |
120
Voted
DAC
2006
ACM
16 years 4 months ago
2006
ACM
This paper presents a technique for preprocessing combinational logic before technology mapping. The technique is based on the representation of combinational logic using And-Inve...
237
Voted
NFM
2011
14 years 10 months ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
102
Voted
CSL
2006
Springer
15 years 7 months ago
2006
Springer
For a two-variable formula (X, Y ) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of an operator Y = F(X) such that (X, F(X)) ...
130
Voted
CSFW
2003
IEEE
15 years 8 months ago
2003
IEEE
107
Voted
CSFW
1996
IEEE
15 years 7 months ago
1996
IEEE