Search Sciweavers | Sciweavers

1210 search results - page 17 / 242

» Secure Logic Synthesis

click to vote

DAC
2006
ACM

147views Computer Architecture» more DAC 2006»

DAG-aware AIG rewriting a fresh look at combinational logic synthesis

15 years 10 months ago

Download www.eecs.berkeley.edu

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...

Alan Mishchenko, Satrajit Chatterjee, Robert K. Br...

claim paper

Read More »

159

click to vote

NFM
2011

306views Formal Methods» more NFM 2011»

Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis

14 years 4 months ago

Download react.cs.uni-sb.de

Synthesis of ﬁnite-state machines from linear-time temporal logic (LTL) formulas is an important formal speciﬁcation debugging technique for reactive systems and can quickly ge...

Rüdiger Ehlers

claim paper

Read More »

click to vote

CSL
2006
Springer

119views Automated Reasoning» more CSL 2006»

Church Synthesis Problem with Parameters

15 years 1 months ago

Download www.cs.tau.ac.il

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)) ...

Alexander Moshe Rabinovich

claim paper

Read More »

click to vote

CSFW
2003
IEEE

101views Security Privacy» more CSFW 2003»

A Derivation System for Security Protocols and its Logical Formalization

15 years 2 months ago

Download www.andrew.cmu.edu

Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...

claim paper

Read More »