Search Sciweavers | Sciweavers

788 search results - page 17 / 158

» Symbolic Equivalence Checking

105

click to vote

ASPDAC
2007
ACM

79views Hardware» more ASPDAC 2007»

Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets

15 years 9 months ago

Download www.aspdac.com

Stefan Disch, Christoph Scholl

claim paper

Read More »

105

click to vote

ICCD
1991
IEEE

87views Hardware» more ICCD 1991»

Boolean Satisfiability and Equivalence Checking Using General Binary Decision Diagrams

15 years 8 months ago

Download computing.ece.vt.edu

Pranav Ashar, Abhijit Ghosh, Srinivas Devadas

claim paper

Read More »

111

click to vote

CASES
2005
ACM

103views System Software» more CASES 2005»

Equivalence checking of arithmetic expressions using fast evaluation

15 years 7 months ago

Download www.cecs.uci.edu

Mohammad Ali Ghodrat, Tony Givargis, Alexandru Nic...

claim paper

Read More »

116

click to vote

TCAD
2008

66views more TCAD 2008»

Mining Global Constraints With Domain Knowledge for Improving Bounded Sequential Equivalence Checking

15 years 5 months ago

Download www.cesca.centers.vt.edu

Weixin Wu, Michael S. Hsiao

claim paper

Read More »

118

click to vote

TODAES
1998

42views more TODAES 1998»

Efficient equivalence checking of multi-phase designs using phase abstraction and retiming

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers