• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 20 matches

• 1994
• 
  Mark D. Aagaard, Miriam Leeser:
  Reasoning About Pipelines with Structural Hazards. TPCD 1994: 13-32
• 
  Michel Allemand:
  Formal Verification of Characteristic Properties. TPCD 1994: 292-297
• 
  G. Bezzi, Massimo Bombana, Patrizia Cavalloro, Salvatore Conigliaro, Giuseppe Zaza:
  Quantitative Evaluation of Formal Based Synthesis in ASIC Design. TPCD 1994: 286-291
• 
  Holger Busch:
  A Reduced Instruction Set Proof Environment. TPCD 1994: 280-285
• 
  David Cyrluk, S. Rajan, Natarajan Shankar, Mandayam K. Srivas:
  Effective Theorem Proving for Hardware Verification. TPCD 1994: 203-222
• 
  C. A. J. van Eijk, Geert Janssen:
  Exploiting Structural Similarities in a BDD-Based Verification Method. TPCD 1994: 110-125
• 
  Kathi Fisler:
  Extending Formal Reasoning with Support for Hardware Diagrams. TPCD 1994: 298-303
• 
  Steven D. Johnson, Paul S. Miner, Albert John Camilleri:
  Studies of the Single Pulser in Various Reasoning Systems. TPCD 1994: 126-145
• 
  Michael Kishinevsky, Jørgen Staunstrup:
  Mechanized Verification of Speed-independence. TPCD 1994: 146-164
• 
  Junji Kitamichi, Sumio Morioka, Teruo Higashino, Kenichi Taniguchi:
  Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach. TPCD 1994: 165-184
• 
  Thomas Kropf:
  Benchmark-Circuits for Hardware-Verification. TPCD 1994: 1-12
• 
  Thomas Kropf, Klaus Schneider, Ramayya Kumar:
  A Formal Framework for High Level Synthesis. TPCD 1994: 223-238
• 
  Niels Maretti:
  Mechanized Verification of Refinement. TPCD 1994: 185-202
• 
  Niels Mellergaard, Jørgen Staunstrup:
  Tutorial on Design Verification with Synchronized Transitions. TPCD 1994: 239-257
• 
  John W. O'Leary, Miriam Leeser, Jason Hickey, Mark D. Aagaard:
  Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization. TPCD 1994: 52-71
• 
  Sam Owre, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas:
  A Tutorial on Using PVS for Hardware Verification. TPCD 1994: 258-279
• 
  Laurence Pierre:
  An Automatic Generalization Method for the Inductive Proof of Replicated and Parallel Architectures. TPCD 1994: 72-91
• 
  Phillip J. Windley, Michael L. Coe:
  A Correctness Model for Pipelined Multiprocessors. TPCD 1994: 33-51
• 
  Zheng Zhu:
  A Compositional Circuit Model and Verification by Composition. TPCD 1994: 92-109
• 
  Ramayya Kumar, Thomas Kropf:
  Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings. Lecture Notes in Computer Science 901, Springer 1994, ISBN 3-540-59047-1 [contents]