default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/tpcd:"
download as .bib file
@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 = {Sun, 06 Oct 2024 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}
}
@inproceedings{DBLP:conf/tpcd/BainbridgeCF92,
author = {Simon Bainbridge and
Albert John Camilleri and
Roger Fleming},
editor = {Victoria Stavridou and
Thomas F. Melham and
Raymond T. Boute},
title = {Theorem Proving as an Industrial Tool for System Level Desgin},
booktitle = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
10.2 International Conference on Theorem Provers in Circuit Design:
Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
June 1992, Proceedings},
series = {{IFIP} Transactions},
volume = {{A-10}},
pages = {253--274},
publisher = {North-Holland},
year = {1992},
timestamp = {Mon, 25 Feb 2002 11:36:44 +0100},
biburl = {https://dblp.org/rec/conf/tpcd/BainbridgeCF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/BickfordS92,
author = {Mark Bickford and
Mandayam K. Srivas},
editor = {Victoria Stavridou and
Thomas F. Melham and
Raymond T. Boute},
title = {Verification of a Fault-Tolerant Property of a Multiprocessor System:
{A} Case Study in Theorem Prover-Based Verification},
booktitle = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
10.2 International Conference on Theorem Provers in Circuit Design:
Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
June 1992, Proceedings},
series = {{IFIP} Transactions},
volume = {{A-10}},
pages = {225--251},
publisher = {North-Holland},
year = {1992},
timestamp = {Mon, 25 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tpcd/BickfordS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/BoultonGGHHT92,
author = {Richard J. Boulton and
Andrew D. Gordon and
Michael J. C. Gordon and
John Harrison and
John Herbert and
John Van Tassel},
editor = {Victoria Stavridou and
Thomas F. Melham and
Raymond T. Boute},
title = {Experience with Embedding Hardware Description Languages in {HOL}},
booktitle = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
10.2 International Conference on Theorem Provers in Circuit Design:
Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
June 1992, Proceedings},
series = {{IFIP} Transactions},
volume = {{A-10}},
pages = {129--156},
publisher = {North-Holland},
year = {1992},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tpcd/BoultonGGHHT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/BrockHY92,
author = {Bishop Brock and
Warren A. Hunt Jr. and
William D. Young},
editor = {Victoria Stavridou and
Thomas F. Melham and
Raymond T. Boute},
title = {Introduction to a Formally Defined Hardware Description Language},
booktitle = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
10.2 International Conference on Theorem Provers in Circuit Design:
Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
June 1992, Proceedings},
series = {{IFIP} Transactions},
volume = {{A-10}},
pages = {3--35},
publisher = {North-Holland},
year = {1992},
timestamp = {Mon, 25 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tpcd/BrockHY92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/Busch92,
author = {Holger Busch},
editor = {Victoria Stavridou and
Thomas F. Melham and
Raymond T. Boute},
title = {Transformational Design in a Theorem Prover},
booktitle = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
10.2 International Conference on Theorem Provers in Circuit Design:
Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
June 1992, Proceedings},
series = {{IFIP} Transactions},
volume = {{A-10}},
pages = {175--196},
publisher = {North-Holland},
year = {1992},
timestamp = {Mon, 25 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tpcd/Busch92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/HannaD92,
author = {Keith Hanna and
Neil Daeche},
editor = {Victoria Stavridou and
Thomas F. Melham and
Raymond T. Boute},
title = {The Veritas Design Logic: {A} User's View},
booktitle = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
10.2 International Conference on Theorem Provers in Circuit Design:
Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
June 1992, Proceedings},
series = {{IFIP} Transactions},
volume = {{A-10}},
pages = {301--310},
publisher = {North-Holland},
year = {1992},
timestamp = {Mon, 25 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tpcd/HannaD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/HannaDH92,
author = {Keith Hanna and
Neil Daeche and
Gareth Howells},
editor = {Victoria Stavridou and
Thomas F. Melham and
Raymond T. Boute},
title = {Implementation of the Veritas Design Logic},
booktitle = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
10.2 International Conference on Theorem Provers in Circuit Design:
Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
June 1992, Proceedings},
series = {{IFIP} Transactions},
volume = {{A-10}},
pages = {77--94},
publisher = {North-Holland},
year = {1992},
timestamp = {Fri, 15 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tpcd/HannaDH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/Herbert92,
author = {John Herbert},
editor = {Victoria Stavridou and
Thomas F. Melham and
Raymond T. Boute},
title = {Incremental Design and Formal Verification of Microcoded Microporcessors},
booktitle = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
10.2 International Conference on Theorem Provers in Circuit Design:
Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
June 1992, Proceedings},
series = {{IFIP} Transactions},
volume = {{A-10}},
pages = {157--174},
publisher = {North-Holland},
year = {1992},
timestamp = {Mon, 25 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tpcd/Herbert92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/Jackson92,
author = {Paul B. Jackson},
editor = {Victoria Stavridou and
Thomas F. Melham and
Raymond T. Boute},
title = {Nuprl and Its Use in Circuit Design},
booktitle = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
10.2 International Conference on Theorem Provers in Circuit Design:
Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
June 1992, Proceedings},
series = {{IFIP} Transactions},
volume = {{A-10}},
pages = {311--336},
publisher = {North-Holland},
year = {1992},
timestamp = {Mon, 25 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tpcd/Jackson92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/KinnimentK92,
author = {D. J. Kinniment and
Albert Koelmans},
editor = {Victoria Stavridou and
Thomas F. Melham and
Raymond T. Boute},
title = {Modelling and Verification of Timing Conditions with the Boyer Moore
Prover},
booktitle = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
10.2 International Conference on Theorem Provers in Circuit Design:
Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
June 1992, Proceedings},
series = {{IFIP} Transactions},
volume = {{A-10}},
pages = {111--127},
publisher = {North-Holland},
year = {1992},
timestamp = {Mon, 25 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tpcd/KinnimentK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/LevyFMM92,
author = {Beth Levy and
Ivan Filippenko and
Leo Marcus and
Telis Menas},
editor = {Victoria Stavridou and
Thomas F. Melham and
Raymond T. Boute},
title = {Using the State Delta Verification System {(SDVS)} for Hardware Verification},
booktitle = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
10.2 International Conference on Theorem Provers in Circuit Design:
Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
June 1992, Proceedings},
series = {{IFIP} Transactions},
volume = {{A-10}},
pages = {337--360},
publisher = {North-Holland},
year = {1992},
timestamp = {Mon, 25 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tpcd/LevyFMM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/LovengreenS92,
author = {Hans Henrik L{\o}vengreen and
J{\o}rgen Staunstrup},
editor = {Victoria Stavridou and
Thomas F. Melham and
Raymond T. Boute},
title = {Synchronous Realization of Asynchronous Computations},
booktitle = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
10.2 International Conference on Theorem Provers in Circuit Design:
Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
June 1992, Proceedings},
series = {{IFIP} Transactions},
volume = {{A-10}},
pages = {95--110},
publisher = {North-Holland},
year = {1992},
timestamp = {Mon, 25 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tpcd/LovengreenS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/Margaria92,
author = {Tiziana Margaria},
editor = {Victoria Stavridou and
Thomas F. Melham and
Raymond T. Boute},
title = {Hierarchical Mixed-Mode Verification of Complex FSMs Described at
the {RT} Level},
booktitle = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
10.2 International Conference on Theorem Provers in Circuit Design:
Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
June 1992, Proceedings},
series = {{IFIP} Transactions},
volume = {{A-10}},
pages = {59--75},
publisher = {North-Holland},
year = {1992},
timestamp = {Mon, 25 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tpcd/Margaria92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/StaunstrupGG92,
author = {J{\o}rgen Staunstrup and
Stephen J. Garland and
John V. Guttag},
editor = {Victoria Stavridou and
Thomas F. Melham and
Raymond T. Boute},
title = {Mechanized Verification of Circuit Descriptions Using the Larch Prover},
booktitle = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
10.2 International Conference on Theorem Provers in Circuit Design:
Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
June 1992, Proceedings},
series = {{IFIP} Transactions},
volume = {{A-10}},
pages = {277--299},
publisher = {North-Holland},
year = {1992},
timestamp = {Mon, 25 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tpcd/StaunstrupGG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/StavridouGSEAH92,
author = {Victoria Stavridou and
Joseph A. Goguen and
Andrew Stevens and
Steven M. Eker and
Serge N. Aloneftis and
Keith Michael Hobley},
editor = {Victoria Stavridou and
Thomas F. Melham and
Raymond T. Boute},
title = {{FUNNEL} and 2OBJ: Towards an Integrated Hardware Design Environment},
booktitle = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
10.2 International Conference on Theorem Provers in Circuit Design:
Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
June 1992, Proceedings},
series = {{IFIP} Transactions},
volume = {{A-10}},
pages = {197--223},
publisher = {North-Holland},
year = {1992},
timestamp = {Wed, 07 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tpcd/StavridouGSEAH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/VerkestVCM92,
author = {Diederik Verkest and
J. Vandenbergh and
Luc J. M. Claesen and
Hugo De Man},
editor = {Victoria Stavridou and
Thomas F. Melham and
Raymond T. Boute},
title = {A Description Methodology for Parameterized Modules in the Boyer-Moore
Logic},
booktitle = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
10.2 International Conference on Theorem Provers in Circuit Design:
Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
June 1992, Proceedings},
series = {{IFIP} Transactions},
volume = {{A-10}},
pages = {37--57},
publisher = {North-Holland},
year = {1992},
timestamp = {Mon, 25 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tpcd/VerkestVCM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tpcd/1992,
editor = {Victoria Stavridou and
Thomas F. Melham and
Raymond T. Boute},
title = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
10.2 International Conference on Theorem Provers in Circuit Design:
Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
June 1992, Proceedings},
series = {{IFIP} Transactions},
volume = {{A-10}},
publisher = {North-Holland},
year = {1992},
isbn = {0-444-89686-4},
timestamp = {Mon, 25 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tpcd/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2025-01-07 13:55 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
