CHARME 1999 | Sciweavers

27

click to vote

CHARME
1999
Springer

83views Hardware» more CHARME 1999»

Model Checking TLA+ Specifications

14 years 5 months ago

Download research.microsoft.com

Yuan Yu, Panagiotis Manolios, Leslie Lamport

claim paper

Read More »

42

click to vote

CHARME
1999
Springer

130views Hardware» more CHARME 1999»

Program Slicing of Hardware Description Languages

14 years 5 months ago

Download www.cs.cmu.edu

Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...

Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Ra...

claim paper

Read More »

33

click to vote

CHARME
1999
Springer

61views Hardware» more CHARME 1999»

A Systematic Incrementalization Technique and Its Application to Hardware Design

14 years 5 months ago

Download www.cs.indiana.edu

Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang

claim paper

Read More »

35

click to vote

CHARME
1999
Springer

100views Hardware» more CHARME 1999»

Xs are for Trajectory Evaluation, Booleans are for Theorem Proving

14 years 5 months ago

Download www.comlab.ox.ac.uk

Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational veriﬁcation in higher-order logic. We prov...

Mark Aagaard, Thomas F. Melham, John W. O'Leary

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers