Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/tpcd/tpcd1994.bht:"
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 = {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}
}
a service of 
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 2024-05-26 15:56 CEST 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:
