Theorem Provers in Circuit Design - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540590477, 9783540491774

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A reduced instruction set proof environment

Theorem Provers in Circuit Design - Lecture Notes in Computer Science ◽

10.1007/3-540-59047-1_54 ◽

1995 ◽

pp. 280-285

Author(s):

Holger Busch

Keyword(s):

Instruction Set

Download Full-text

An automatic generalization method for the inductive proof of replicated and parallel architectures

Theorem Provers in Circuit Design - Lecture Notes in Computer Science ◽

10.1007/3-540-59047-1_43 ◽

1995 ◽

pp. 72-91 ◽

Cited By ~ 5

Author(s):

Laurence Pierre

Keyword(s):

Parallel Architectures ◽

Inductive Proof

Download Full-text

Studies of the single pulser in various reasoning systems

Theorem Provers in Circuit Design - Lecture Notes in Computer Science ◽

10.1007/3-540-59047-1_46 ◽

1995 ◽

pp. 126-145 ◽

Cited By ~ 3

Author(s):

Steven D. Johnson ◽

Paul S. Miner ◽

Albert Camilleri

Keyword(s):

Reasoning Systems

Download Full-text

Reasoning about pipelines with structural hazards

Theorem Provers in Circuit Design - Lecture Notes in Computer Science ◽

10.1007/3-540-59047-1_40 ◽

1995 ◽

pp. 13-32 ◽

Cited By ~ 8

Author(s):

Mark Aagaard ◽

Miriam Leeser

Download Full-text

A formal framework for high level synthesis

Theorem Provers in Circuit Design - Lecture Notes in Computer Science ◽

10.1007/3-540-59047-1_51 ◽

1995 ◽

pp. 223-238 ◽

Cited By ~ 2

Author(s):

Thomas Kropf ◽

Klaus Schneider ◽

Ramayya Kumar

Keyword(s):

High Level Synthesis ◽

Formal Framework ◽

High Level

Download Full-text

Mechanized verification of speed-independence

Theorem Provers in Circuit Design - Lecture Notes in Computer Science ◽

10.1007/3-540-59047-1_47 ◽

1995 ◽

pp. 146-164 ◽

Cited By ~ 2

Author(s):

Michael Kishinevsky ◽

Jørgen Staunstrup

Keyword(s):

Mechanized Verification

Download Full-text

A correctness model for pipelined microprocessors

Theorem Provers in Circuit Design - Lecture Notes in Computer Science ◽

10.1007/3-540-59047-1_41 ◽

1995 ◽

pp. 33-51 ◽

Cited By ~ 15

Author(s):

Phillip J. Windley ◽

Michael L. Coe

Keyword(s):

Pipelined Microprocessors

Download Full-text

Extending formal reasoning with support for hardware diagrams

Theorem Provers in Circuit Design - Lecture Notes in Computer Science ◽

10.1007/3-540-59047-1_57 ◽

1995 ◽

pp. 298-303 ◽

Cited By ~ 1

Author(s):

Kathi Fisler

Keyword(s):

Formal Reasoning

Download Full-text

Effective theorem proving for hardware verification

Theorem Provers in Circuit Design - Lecture Notes in Computer Science ◽

10.1007/3-540-59047-1_50 ◽

1995 ◽

pp. 203-222 ◽

Cited By ~ 18

Author(s):

D. Cyrluk ◽

S. Rajan ◽

N. Shankar ◽

M. K. Srivas

Keyword(s):

Theorem Proving ◽

Hardware Verification

Download Full-text

Quantitative evaluation of formal based synthesis in ASIC design

Theorem Provers in Circuit Design - Lecture Notes in Computer Science ◽

10.1007/3-540-59047-1_55 ◽

1995 ◽

pp. 286-291 ◽

Cited By ~ 2

Author(s):

G. Bezzi ◽

M. Bombana ◽

P. Cavalloro ◽

S. Conigliaro ◽

G. Zaza

Keyword(s):

Quantitative Evaluation ◽

Asic Design

Download Full-text

Theorem Provers in Circuit Design - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A reduced instruction set proof environment

An automatic generalization method for the inductive proof of replicated and parallel architectures

Studies of the single pulser in various reasoning systems

Reasoning about pipelines with structural hazards

A formal framework for high level synthesis

Mechanized verification of speed-independence

A correctness model for pipelined microprocessors

Extending formal reasoning with support for hardware diagrams

Effective theorem proving for hardware verification

Quantitative evaluation of formal based synthesis in ASIC design

Theorem Provers in Circuit Design - Lecture Notes in Computer Science
Latest Publications