7. CHARME 1993: Arles, France
- George J. Milne, Laurence Pierre:
Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '93, Arles, France, May 24-26, 1993, Proceedings. Lecture Notes in Computer Science 683, Springer 1993, ISBN 3-540-56778-X
1. Temporal and Behavioural Verification I
2. Verification and Diagnosis
- Ayman M. Wahba, Einar J. Aas:
Verification and Diagnosis of Digital Systems by Termary Reasoning. 55-67 - Qinhai Zhang, Charles Trullemans:
Logic Verification of Incomplete Functions and Design Error Location. 68-79 - Paolo Camurati, Fulvio Corno, Paolo Prinetto:
A Methodology for System-Level Design for Verifiability. 80-91
3. Proof of Microprocessors
- Jacques Chazarain, Hélène Collavizza:
Combining Symbolic Evaluation and Object-Oriented Approach for Verifying Processor-Like Architectures at the RT-Level. 109-121
4. Temporal and Behavioural Verification II
5. Asynchronous Circuit Design
- Andrew M. Bailey:
Automatic Verification of Speed-Independent Circuit Designs Using the Circal System. 167-178 - Scott F. Smith, Amy E. Zwarico:
Correct Compilation of Specifications to Deterministic Asynchronous Circuits. 179-190
6. Hardware Derivation
- Jifeng He, Ian Page, Jonathan P. Bowen:
Towards a Provably Correct Hardware Implementation of Occam. 214-225
7. Use of Theorem Provers
- Thomas Kropf, Ramayya Kumar, Klaus Schneider:
Embedding Hardware Verification Within a Commercial Design Framework. 242-257