Search 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    = {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}
}

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.