![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/tpcd/tpcd1994.bht:"
@inproceedings{DBLP:conf/tpcd/AagaardL94, author = {Mark D. Aagaard and Miriam Leeser}, editor = {Ramayya Kumar and Thomas Kropf}, title = {Reasoning About Pipelines with Structural Hazards}, booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, {TPCD} '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {901}, pages = {13--32}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59047-1\_40}, doi = {10.1007/3-540-59047-1\_40}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tpcd/AagaardL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tpcd/Allemand94, author = {Michel Allemand}, editor = {Ramayya Kumar and Thomas Kropf}, title = {Formal Verification of Characteristic Properties}, booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, {TPCD} '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {901}, pages = {292--297}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59047-1\_56}, doi = {10.1007/3-540-59047-1\_56}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tpcd/Allemand94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tpcd/BezziBCCZ94, author = {G. Bezzi and Massimo Bombana and Patrizia Cavalloro and Salvatore Conigliaro and Giuseppe Zaza}, editor = {Ramayya Kumar and Thomas Kropf}, title = {Quantitative Evaluation of Formal Based Synthesis in {ASIC} Design}, booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, {TPCD} '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {901}, pages = {286--291}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59047-1\_55}, doi = {10.1007/3-540-59047-1\_55}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tpcd/BezziBCCZ94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tpcd/Busch94, author = {Holger Busch}, editor = {Ramayya Kumar and Thomas Kropf}, title = {A Reduced Instruction Set Proof Environment}, booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, {TPCD} '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {901}, pages = {280--285}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59047-1\_54}, doi = {10.1007/3-540-59047-1\_54}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tpcd/Busch94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tpcd/CyrlukRSS94, author = {David Cyrluk and S. Rajan and Natarajan Shankar and Mandayam K. Srivas}, editor = {Ramayya Kumar and Thomas Kropf}, title = {Effective Theorem Proving for Hardware Verification}, booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, {TPCD} '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {901}, pages = {203--222}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59047-1\_50}, doi = {10.1007/3-540-59047-1\_50}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tpcd/CyrlukRSS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tpcd/EijkJ94, author = {C. A. J. van Eijk and Geert Janssen}, editor = {Ramayya Kumar and Thomas Kropf}, title = {Exploiting Structural Similarities in a BDD-Based Verification Method}, booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, {TPCD} '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {901}, pages = {110--125}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59047-1\_45}, doi = {10.1007/3-540-59047-1\_45}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tpcd/EijkJ94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tpcd/Fisler94, author = {Kathi Fisler}, editor = {Ramayya Kumar and Thomas Kropf}, title = {Extending Formal Reasoning with Support for Hardware Diagrams}, booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, {TPCD} '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {901}, pages = {298--303}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59047-1\_57}, doi = {10.1007/3-540-59047-1\_57}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tpcd/Fisler94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tpcd/JohnsonMC94, author = {Steven D. Johnson and Paul S. Miner and Albert John Camilleri}, editor = {Ramayya Kumar and Thomas Kropf}, title = {Studies of the Single Pulser in Various Reasoning Systems}, booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, {TPCD} '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {901}, pages = {126--145}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59047-1\_46}, doi = {10.1007/3-540-59047-1\_46}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tpcd/JohnsonMC94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tpcd/KishnievskyS94, author = {Michael Kishinevsky and J{\o}rgen Staunstrup}, editor = {Ramayya Kumar and Thomas Kropf}, title = {Mechanized Verification of Speed-independence}, booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, {TPCD} '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {901}, pages = {146--164}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59047-1\_47}, doi = {10.1007/3-540-59047-1\_47}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tpcd/KishnievskyS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tpcd/KitamichiMHT94, author = {Junji Kitamichi and Sumio Morioka and Teruo Higashino and Kenichi Taniguchi}, editor = {Ramayya Kumar and Thomas Kropf}, title = {Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach}, booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, {TPCD} '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {901}, pages = {165--184}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59047-1\_48}, doi = {10.1007/3-540-59047-1\_48}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tpcd/KitamichiMHT94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tpcd/Kropf94, author = {Thomas Kropf}, editor = {Ramayya Kumar and Thomas Kropf}, title = {Benchmark-Circuits for Hardware-Verification}, booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, {TPCD} '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {901}, pages = {1--12}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59047-1\_39}, doi = {10.1007/3-540-59047-1\_39}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tpcd/Kropf94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tpcd/KropfSK94, author = {Thomas Kropf and Klaus Schneider and Ramayya Kumar}, editor = {Ramayya Kumar and Thomas Kropf}, title = {A Formal Framework for High Level Synthesis}, booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, {TPCD} '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {901}, pages = {223--238}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59047-1\_51}, doi = {10.1007/3-540-59047-1\_51}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tpcd/KropfSK94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tpcd/Maretti94, author = {Niels Maretti}, editor = {Ramayya Kumar and Thomas Kropf}, title = {Mechanized Verification of Refinement}, booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, {TPCD} '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {901}, pages = {185--202}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59047-1\_49}, doi = {10.1007/3-540-59047-1\_49}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tpcd/Maretti94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tpcd/MellergaardS94, author = {Niels Mellergaard and J{\o}rgen Staunstrup}, editor = {Ramayya Kumar and Thomas Kropf}, title = {Tutorial on Design Verification with Synchronized Transitions}, booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, {TPCD} '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {901}, pages = {239--257}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59047-1\_52}, doi = {10.1007/3-540-59047-1\_52}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tpcd/MellergaardS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tpcd/OLearyLHA94, author = {John W. O'Leary and Miriam Leeser and Jason Hickey and Mark D. Aagaard}, editor = {Ramayya Kumar and Thomas Kropf}, title = {Non-Restoring Integer Square Root: {A} Case Study in Design by Principled Optimization}, booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, {TPCD} '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {901}, pages = {52--71}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59047-1\_42}, doi = {10.1007/3-540-59047-1\_42}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tpcd/OLearyLHA94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tpcd/OwreRSS94, author = {Sam Owre and John M. Rushby and Natarajan Shankar and Mandayam K. Srivas}, editor = {Ramayya Kumar and Thomas Kropf}, title = {A Tutorial on Using {PVS} for Hardware Verification}, booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, {TPCD} '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {901}, pages = {258--279}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59047-1\_53}, doi = {10.1007/3-540-59047-1\_53}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tpcd/OwreRSS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tpcd/Pierre94, author = {Laurence Pierre}, editor = {Ramayya Kumar and Thomas Kropf}, title = {An Automatic Generalization Method for the Inductive Proof of Replicated and Parallel Architectures}, booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, {TPCD} '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {901}, pages = {72--91}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59047-1\_43}, doi = {10.1007/3-540-59047-1\_43}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tpcd/Pierre94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tpcd/WindleyC94, author = {Phillip J. Windley and Michael L. Coe}, editor = {Ramayya Kumar and Thomas Kropf}, title = {A Correctness Model for Pipelined Multiprocessors}, booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, {TPCD} '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {901}, pages = {33--51}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59047-1\_41}, doi = {10.1007/3-540-59047-1\_41}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tpcd/WindleyC94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tpcd/Zhu94, author = {Zheng Zhu}, editor = {Ramayya Kumar and Thomas Kropf}, title = {A Compositional Circuit Model and Verification by Composition}, booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, {TPCD} '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {901}, pages = {92--109}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59047-1\_44}, doi = {10.1007/3-540-59047-1\_44}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tpcd/Zhu94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tpcd/1994, editor = {Ramayya Kumar and Thomas Kropf}, title = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, {TPCD} '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {901}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59047-1}, doi = {10.1007/3-540-59047-1}, isbn = {3-540-59047-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tpcd/1994.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.