Algorithms and Heuristics in VLSI Design
Identifieur interne : 000E93 ( Istex/Corpus ); précédent : 000E92; suivant : 000E94Algorithms and Heuristics in VLSI Design
Auteurs : Christoph Meinel ; Christian StangierSource :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2002.
Abstract
Abstract: The increasing complexity of nowadays VLSI designs makes it hard up to impossible to check their correctness by using validation methods like simulation. Therefore there is is a growing demand for formal verification methods in VLSI design and verification.
Url:
DOI: 10.1007/3-540-36383-1_7
Links to Exploration step
ISTEX:DBC30EF32B09EE3E8F8FF41251217F91E1C6AC9DLe document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Algorithms and Heuristics in VLSI Design</title>
<author><name sortKey="Meinel, Christoph" sort="Meinel, Christoph" uniqKey="Meinel C" first="Christoph" last="Meinel">Christoph Meinel</name>
<affiliation><mods:affiliation>Department of Computer Science, University of Trier, Trier, Germany</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: meinel@ti.uni-trier.de</mods:affiliation>
</affiliation>
</author>
<author><name sortKey="Stangier, Christian" sort="Stangier, Christian" uniqKey="Stangier C" first="Christian" last="Stangier">Christian Stangier</name>
<affiliation><mods:affiliation>Department of Computer Science, University of Trier, Trier, Germany</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: stangier@ti.uni-trier.de</mods:affiliation>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:DBC30EF32B09EE3E8F8FF41251217F91E1C6AC9D</idno>
<date when="2002" year="2002">2002</date>
<idno type="doi">10.1007/3-540-36383-1_7</idno>
<idno type="url">https://api.istex.fr/document/DBC30EF32B09EE3E8F8FF41251217F91E1C6AC9D/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">000E93</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000E93</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Algorithms and Heuristics in VLSI Design</title>
<author><name sortKey="Meinel, Christoph" sort="Meinel, Christoph" uniqKey="Meinel C" first="Christoph" last="Meinel">Christoph Meinel</name>
<affiliation><mods:affiliation>Department of Computer Science, University of Trier, Trier, Germany</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: meinel@ti.uni-trier.de</mods:affiliation>
</affiliation>
</author>
<author><name sortKey="Stangier, Christian" sort="Stangier, Christian" uniqKey="Stangier C" first="Christian" last="Stangier">Christian Stangier</name>
<affiliation><mods:affiliation>Department of Computer Science, University of Trier, Trier, Germany</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: stangier@ti.uni-trier.de</mods:affiliation>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s">Lecture Notes in Computer Science</title>
<imprint><date>2002</date>
</imprint>
<idno type="ISSN">0302-9743</idno>
<idno type="ISSN">0302-9743</idno>
</series>
<idno type="istex">DBC30EF32B09EE3E8F8FF41251217F91E1C6AC9D</idno>
<idno type="DOI">10.1007/3-540-36383-1_7</idno>
<idno type="ChapterID">7</idno>
<idno type="ChapterID">Chap7</idno>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass></textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: The increasing complexity of nowadays VLSI designs makes it hard up to impossible to check their correctness by using validation methods like simulation. Therefore there is is a growing demand for formal verification methods in VLSI design and verification.</div>
</front>
</TEI>
<istex><corpusName>springer</corpusName>
<author><json:item><name>Christoph Meinel</name>
<affiliations><json:string>Department of Computer Science, University of Trier, Trier, Germany</json:string>
<json:string>E-mail: meinel@ti.uni-trier.de</json:string>
</affiliations>
</json:item>
<json:item><name>Christian Stangier</name>
<affiliations><json:string>Department of Computer Science, University of Trier, Trier, Germany</json:string>
<json:string>E-mail: stangier@ti.uni-trier.de</json:string>
</affiliations>
</json:item>
</author>
<language><json:string>eng</json:string>
</language>
<originalGenre><json:string>OriginalPaper</json:string>
</originalGenre>
<abstract>Abstract: The increasing complexity of nowadays VLSI designs makes it hard up to impossible to check their correctness by using validation methods like simulation. Therefore there is is a growing demand for formal verification methods in VLSI design and verification.</abstract>
<qualityIndicators><score>5.48</score>
<pdfVersion>1.3</pdfVersion>
<pdfPageSize>558 x 864 pts</pdfPageSize>
<refBibsNative>false</refBibsNative>
<keywordCount>0</keywordCount>
<abstractCharCount>267</abstractCharCount>
<pdfWordCount>7610</pdfWordCount>
<pdfCharCount>44516</pdfCharCount>
<pdfPageCount>24</pdfPageCount>
<abstractWordCount>40</abstractWordCount>
</qualityIndicators>
<title>Algorithms and Heuristics in VLSI Design</title>
<chapterId><json:string>7</json:string>
<json:string>Chap7</json:string>
</chapterId>
<refBibs><json:item><author><json:item><name>A Aziz</name>
</json:item>
</author>
<host><pages><first>97</first>
</pages>
<author></author>
<title>EECS.Berkeley.EDU</title>
</host>
<title>Texas-97 benchmarks</title>
</json:item>
<json:item><author><json:item><name>B Bollig</name>
</json:item>
<json:item><name>I Wegener</name>
</json:item>
</author>
<host><volume>45</volume>
<pages><last>1002</last>
<first>992</first>
</pages>
<issue>9</issue>
<author></author>
<title>IEEE Transaction on Computers</title>
<publicationDate>1996</publicationDate>
</host>
<title>Improving the variable ordering of OBDDs is NP– complete</title>
<publicationDate>1996</publicationDate>
</json:item>
<json:item><author><json:item><name>R,K Brayton</name>
</json:item>
<json:item><name>G,D Hachtel</name>
</json:item>
<json:item><name>A,L Sangiovanni-Vincentelli</name>
</json:item>
<json:item><name>F Somenzi</name>
</json:item>
<json:item><name>A Aziz</name>
</json:item>
<json:item><name>S Cheng</name>
</json:item>
<json:item><name>S,A Edwards</name>
</json:item>
<json:item><name>S,P Khatri</name>
</json:item>
<json:item><name>Y Kukimoto</name>
</json:item>
<json:item><name>A Pardo</name>
</json:item>
<json:item><name>S Qadeer</name>
</json:item>
<json:item><name>R,K Ranjan</name>
</json:item>
<json:item><name>S Sarwary</name>
</json:item>
<json:item><name>T,R Shiple</name>
</json:item>
<json:item><name>G Swamy</name>
</json:item>
<json:item><name>T Villa</name>
</json:item>
</author>
<host><pages><last>432</last>
<first>428</first>
</pages>
<author></author>
<title>Proceedings of the Symposium on Computer Aided Verification (CAV'96)</title>
<publicationDate>1996</publicationDate>
</host>
<title>VIS: A System for Verification and Synthesis</title>
<publicationDate>1996</publicationDate>
</json:item>
<json:item><author><json:item><name>R,E Bryant</name>
</json:item>
</author>
<host><pages><last>691</last>
<first>677</first>
</pages>
<author></author>
<title>IEEE Transactions on Computers, C-35</title>
<publicationDate>1986</publicationDate>
</host>
<title>Graph-based algorithms for Boolean function manipulation</title>
<publicationDate>1986</publicationDate>
</json:item>
<json:item><author><json:item><name>R,E Bryant</name>
</json:item>
</author>
<host><volume>40</volume>
<pages><last>213</last>
<first>205</first>
</pages>
<author></author>
<title>IEEE Transaction on Computers</title>
<publicationDate>1991</publicationDate>
</host>
<title>On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication</title>
<publicationDate>1991</publicationDate>
</json:item>
<json:item><author><json:item><name>R,E Bryant</name>
</json:item>
</author>
<host><volume>24</volume>
<pages><last>318</last>
<first>293</first>
</pages>
<issue>3</issue>
<author></author>
<title>ACM Computing Surveys</title>
<publicationDate>1992</publicationDate>
</host>
<title>Symbolic Boolean manipulation with ordered binary decision diagrams</title>
<publicationDate>1992</publicationDate>
</json:item>
<json:item><author><json:item><name>J,R Burch</name>
</json:item>
<json:item><name>E,M Clarke</name>
</json:item>
<json:item><name>D,E Long</name>
</json:item>
</author>
<host><pages><last>58</last>
<first>49</first>
</pages>
<author></author>
<title>Proceedings of the International Conference on VLSI</title>
<publicationDate>1991</publicationDate>
</host>
<title>Symbolic model checking with partitioned transition relations</title>
<publicationDate>1991</publicationDate>
</json:item>
<json:item><author><json:item><name>J,R Burch</name>
</json:item>
<json:item><name>E,M Clarke</name>
</json:item>
<json:item><name>D,L Dill</name>
</json:item>
<json:item><name>L,J Hwang</name>
</json:item>
<json:item><name>K,L Mcmillan</name>
</json:item>
</author>
<host><pages><last>439</last>
<first>428</first>
</pages>
<author></author>
<title>Proceedings of Logic in Computer Science (LICS'90)</title>
<publicationDate>1990</publicationDate>
</host>
<title>Symbolic model checking: 10 20 states and beyond</title>
<publicationDate>1990</publicationDate>
</json:item>
<json:item><author><json:item><name>O Coudert</name>
</json:item>
<json:item><name>C Berthet</name>
</json:item>
<json:item><name>J,C Madre</name>
</json:item>
</author>
<host><pages><last>373</last>
<first>365</first>
</pages>
<author></author>
<title>Proceedings of the Workshop on Automatic Verification Methods for Finite State Machines</title>
<publicationDate>1989</publicationDate>
</host>
<title>Verification of synchronous machines using symbolic execution</title>
<publicationDate>1989</publicationDate>
</json:item>
<json:item><author><json:item><name>O Coudert</name>
</json:item>
<json:item><name>J,C Madre</name>
</json:item>
</author>
<host><pages><last>129</last>
<first>126</first>
</pages>
<author></author>
<title>Proceedings of the IEEE International Conference on Computer-Aided Design</title>
<publicationDate>1990</publicationDate>
</host>
<title>A unified framework for the formal verification of sequential circuits</title>
<publicationDate>1990</publicationDate>
</json:item>
<json:item><author><json:item><name>O Coudert</name>
</json:item>
<json:item><name>J,C Madre</name>
</json:item>
</author>
<host><volume>6</volume>
<pages><last>145</last>
<first>133</first>
</pages>
<issue>2</issue>
<author></author>
<title>Formal Methods in System Design</title>
<publicationDate>1995</publicationDate>
</host>
<title>The implicit set paradigm: a new approach to finite state system verification</title>
<publicationDate>1995</publicationDate>
</json:item>
<json:item><author><json:item><name>S,J Friedman</name>
</json:item>
<json:item><name>K,J Supowit</name>
</json:item>
</author>
<host><volume>39</volume>
<pages><last>713</last>
<first>710</first>
</pages>
<issue>5</issue>
<author></author>
<title>IEEE Transactions on Computers</title>
<publicationDate>1990</publicationDate>
</host>
<title>Finding the optimal variable ordering for binary decision diagrams</title>
<publicationDate>1990</publicationDate>
</json:item>
<json:item><author><json:item><name>D Geist</name>
</json:item>
<json:item><name>I Beer</name>
</json:item>
</author>
<host><pages><last>310</last>
<first>299</first>
</pages>
<author></author>
<title>Proceedings of Computer Aided Verification (CAV'94)</title>
<publicationDate>1994</publicationDate>
</host>
<title>Efficient model checking by automated ordering of transition relation partitions</title>
<publicationDate>1994</publicationDate>
</json:item>
<json:item><author><json:item><name>R Hojati</name>
</json:item>
<json:item><name>S,C Krishnan</name>
</json:item>
<json:item><name>R,K Brayton</name>
</json:item>
</author>
<host><pages><last>19</last>
<first>12</first>
</pages>
<author></author>
<title>Proceedings of the IEEE International Conference on Computer-Aided Design</title>
<publicationDate>1996</publicationDate>
</host>
<title>Early qantification and partitioned transition relations</title>
<publicationDate>1996</publicationDate>
</json:item>
<json:item><host><author><json:item><name>R,D M Hunter</name>
</json:item>
<json:item><name>T,T Johnson</name>
</json:item>
</author>
<title>Introduction to VHDL</title>
<publicationDate>1996</publicationDate>
</host>
</json:item>
<json:item><author><json:item><name>S Malik</name>
</json:item>
<json:item><name>A,R Wang</name>
</json:item>
<json:item><name>R,K Brayton</name>
</json:item>
<json:item><name>A Sangiovanni-Vincentelli</name>
</json:item>
</author>
<host><pages><last>9</last>
<first>6</first>
</pages>
<author></author>
<title>Proceedings of the 25th Design Automation Conference</title>
<publicationDate>1988</publicationDate>
</host>
<title>Logic verification using binary decision diagrams in a logic synthesis environment</title>
<publicationDate>1988</publicationDate>
</json:item>
<json:item><host><author><json:item><name>K,L Mcmillan</name>
</json:item>
</author>
<title>Symbolic Model Checking</title>
<publicationDate>1993</publicationDate>
</host>
</json:item>
<json:item><author><json:item><name>I Moon</name>
</json:item>
<json:item><name>J Jang</name>
</json:item>
<json:item><name>G,D Hachtel</name>
</json:item>
<json:item><name>F Somenzi</name>
</json:item>
<json:item><name>J Yuan</name>
</json:item>
<json:item><name>C Pixley</name>
</json:item>
</author>
<host><author></author>
<title>Proceedings of the Internatuional Conference on CAD (ICCAD'98</title>
<publicationDate>1998</publicationDate>
</host>
<title>Approximate reachability don't cares for CTL model Checking</title>
<publicationDate>1998</publicationDate>
</json:item>
<json:item><author><json:item><name>C Meinel</name>
</json:item>
<json:item><name>K Schwettmann</name>
</json:item>
<json:item><name>A Slobodová</name>
</json:item>
</author>
<host><pages><last>330</last>
<first>327</first>
</pages>
<author></author>
<title>Proceedings of ASP-DAC'99, Hongkong</title>
<publicationDate>1999</publicationDate>
</host>
<title>Application driven variable reordering and an example implementation in reachability analysis</title>
<publicationDate>1999</publicationDate>
</json:item>
<json:item><author><json:item><name>C Meinel</name>
</json:item>
<json:item><name>C Stangier</name>
</json:item>
</author>
<host><pages><last>454</last>
<first>443</first>
</pages>
<author></author>
<title>Proceedings of Formal Methods in CAD (FMCAD'00</title>
<publicationDate>1954</publicationDate>
</host>
<title>Speeding up image computation by using RTL information</title>
<publicationDate>1954</publicationDate>
</json:item>
<json:item><author><json:item><name>C Meinel</name>
</json:item>
<json:item><name>C Stangier</name>
</json:item>
</author>
<host><pages><last>42</last>
<first>39</first>
</pages>
<author></author>
<title>Proceedings of the IEEE 10th Great Lakes Symopsium on VLSI</title>
<publicationDate>2000</publicationDate>
</host>
<title>Speeding up symbolic model checking by accelerating dynamic variable reordering</title>
<publicationDate>2000</publicationDate>
</json:item>
<json:item><author><json:item><name>S Minato</name>
</json:item>
<json:item><name>N Ishiura</name>
</json:item>
<json:item><name>S Yahima</name>
</json:item>
</author>
<host><pages><last>57</last>
<first>52</first>
</pages>
<author></author>
<title>Proceedings of the 27th ACM/IEEE Design Automation Conference</title>
<publicationDate>1990</publicationDate>
</host>
<title>Shared binary decision diagrams with attributed edges for efficient Boolean function manipulation</title>
<publicationDate>1990</publicationDate>
</json:item>
<json:item><author><json:item><name>R,K Ranjan</name>
</json:item>
<json:item><name>A Aziz</name>
</json:item>
<json:item><name>R,K Brayton</name>
</json:item>
<json:item><name>C Pixley</name>
</json:item>
<json:item><name>B Plessier</name>
</json:item>
</author>
<host><author></author>
<title>Presented at the International Workshop on Logic Synthesis (IWLS'95)</title>
<publicationDate>1995</publicationDate>
</host>
<title>Efficient BDD algorithms for synthesizing and verifying finite state machines</title>
<publicationDate>1995</publicationDate>
</json:item>
<json:item><author><json:item><name>R </name>
</json:item>
</author>
<host><pages><last>47</last>
<first>42</first>
</pages>
<author></author>
<title>Proceedings of the ACM/IEEE International Conference on Computer-Aided Design</title>
<publicationDate>1993</publicationDate>
</host>
<title>Dynamic variable ordering for ordered binary decision diagrams</title>
<publicationDate>1993</publicationDate>
</json:item>
<json:item><author><json:item><name>P Savick´savick´y</name>
</json:item>
<json:item><name>I Wegener</name>
</json:item>
</author>
<host><volume>34</volume>
<pages><last>356</last>
<first>345</first>
</pages>
<author></author>
<title>Acta Informatica</title>
<publicationDate>1997</publicationDate>
</host>
<title>Efficient algorithms for the transformation between different types of binary decision diagrams</title>
<publicationDate>1997</publicationDate>
</json:item>
<json:item><author><json:item><name>D Sieling</name>
</json:item>
</author>
<host><pages><last>215</last>
<first>205</first>
</pages>
<author></author>
<title>Proceedings of the 15th International Symposium on Theoretical Aspects of Computer Science (STACS'98</title>
<publicationDate>1998</publicationDate>
</host>
<title>On the existence of polynomial time approximation schemes for OBDD minimization</title>
<publicationDate>1998</publicationDate>
</json:item>
<json:item><author><json:item><name>D Sieling</name>
</json:item>
<json:item><name>I Wegener</name>
</json:item>
</author>
<host><volume>48</volume>
<pages><last>144</last>
<first>139</first>
</pages>
<issue>3</issue>
<author></author>
<title>Information Processing Letters</title>
<publicationDate>1993</publicationDate>
</host>
<title>Reduction of BDDs in linear time</title>
<publicationDate>1993</publicationDate>
</json:item>
<json:item><author><json:item><name>A Slobodová</name>
</json:item>
<json:item><name>C Meinel</name>
</json:item>
</author>
<host><author></author>
<title>Presented at the International Workshop on Logic Synthesis</title>
<publicationDate>1998-06</publicationDate>
</host>
<title>Sample method for minimization of OBDDs</title>
<publicationDate>1998-06</publicationDate>
</json:item>
<json:item><host><author><json:item><name>F Somenzi</name>
</json:item>
</author>
<title>CUDD: CU Decision Diagram Package</title>
</host>
</json:item>
<json:item><author><json:item><name>S Tani</name>
</json:item>
<json:item><name>K Hamaguchi</name>
</json:item>
<json:item><name>S Yajima</name>
</json:item>
</author>
<host><pages><last>398</last>
<first>389</first>
</pages>
<author></author>
<title>Proceedings of ISAAC'93</title>
<publicationDate>1993</publicationDate>
</host>
<title>The complexity of the optimal variable ordering problem of shared binary decision diagrams</title>
<publicationDate>1993</publicationDate>
</json:item>
<json:item><host><author><json:item><name>D,E Thomas</name>
</json:item>
<json:item><name>P Moorby</name>
</json:item>
</author>
<title>The Verilog Hardware Description Language</title>
<publicationDate>1991</publicationDate>
</host>
</json:item>
<json:item><author><json:item><name>I Wegener</name>
</json:item>
</author>
<host><author></author>
<title>SIAM Monographs on Discrete Mathematics and Applications</title>
<publicationDate>2000</publicationDate>
</host>
<title>Branching programs and binary decision diagrams -theory and applications</title>
<publicationDate>2000</publicationDate>
</json:item>
<json:item><author><json:item><name>P </name>
</json:item>
</author>
<host><author></author>
<title>Proceedings of STACS'01</title>
<publicationDate>2001</publicationDate>
</host>
<title>New bounds on the OBDD-size of integer multiplication via universal hashing</title>
<publicationDate>2001</publicationDate>
</json:item>
<json:item><host><author><json:item><name>B Yang</name>
</json:item>
</author>
<publicationDate>1998</publicationDate>
</host>
</json:item>
<json:item><author><json:item><name>B Yang</name>
</json:item>
<json:item><name>R,E Bryant</name>
</json:item>
<json:item><name>D,R O 'hallaron</name>
</json:item>
<json:item><name>A Biere</name>
</json:item>
<json:item><name>O Coudert</name>
</json:item>
<json:item><name>G Janssen</name>
</json:item>
<json:item><name>R,K Ranjan</name>
</json:item>
<json:item><name>F Somenzi</name>
</json:item>
</author>
<host><pages><last>289</last>
<first>255</first>
</pages>
<author></author>
<title>Proceedings of Formal Methods in CAD (FMCAD'98)</title>
<publicationDate>1998</publicationDate>
</host>
<title>A performance study of BDD-based model checking</title>
<publicationDate>1998</publicationDate>
</json:item>
</refBibs>
<genre><json:string>research-article</json:string>
</genre>
<serie><editor><json:item><name>Gerhard Goos</name>
<affiliations><json:string>Karlsruhe University, Germany</json:string>
</affiliations>
</json:item>
<json:item><name>Juris Hartmanis</name>
<affiliations><json:string>Cornell University, NY, USA</json:string>
</affiliations>
</json:item>
<json:item><name>Jan van Leeuwen</name>
<affiliations><json:string>Utrecht University, The Netherlands</json:string>
</affiliations>
</json:item>
</editor>
<issn><json:string>0302-9743</json:string>
</issn>
<language><json:string>unknown</json:string>
</language>
<title>Lecture Notes in Computer Science</title>
<copyrightDate>2002</copyrightDate>
</serie>
<host><editor><json:item><name>Rudolf Fleischer</name>
<affiliations><json:string>Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong</json:string>
<json:string>E-mail: rudolf@cs.ust.hk</json:string>
</affiliations>
</json:item>
<json:item><name>Bernard Moret</name>
<affiliations><json:string>Department of Computer Science, University of New Mexico, Farris Engineering Bldg, 87131-1386, Albuquerque, NM, USA</json:string>
<json:string>E-mail: moret@cs.unm.edu</json:string>
</affiliations>
</json:item>
<json:item><name>Erik Meineche Schmidt</name>
<affiliations><json:string>Department of Computer Science, University of Aarhus, Bld. 540, Ny Munkegade, 8000, Aarhus C, Denmark</json:string>
<json:string>E-mail: ems@daimi.au.dk</json:string>
</affiliations>
</json:item>
</editor>
<subject><json:item><value>Computer Science</value>
</json:item>
<json:item><value>Computer Science</value>
</json:item>
<json:item><value>Computer Science, general</value>
</json:item>
<json:item><value>Data Structures</value>
</json:item>
<json:item><value>Algorithm Analysis and Problem Complexity</value>
</json:item>
<json:item><value>Numeric Computing</value>
</json:item>
<json:item><value>Discrete Mathematics in Computer Science</value>
</json:item>
<json:item><value>Algorithms</value>
</json:item>
</subject>
<isbn><json:string>978-3-540-00346-5</json:string>
</isbn>
<language><json:string>unknown</json:string>
</language>
<title>Experimental Algorithmics</title>
<bookId><json:string>3-540-36383-1</json:string>
</bookId>
<volume>2547</volume>
<pages><last>162</last>
<first>139</first>
</pages>
<issn><json:string>0302-9743</json:string>
</issn>
<genre><json:string>book-series</json:string>
</genre>
<eisbn><json:string>978-3-540-36383-5</json:string>
</eisbn>
<copyrightDate>2002</copyrightDate>
<doi><json:string>10.1007/3-540-36383-1</json:string>
</doi>
</host>
<publicationDate>2002</publicationDate>
<copyrightDate>2002</copyrightDate>
<doi><json:string>10.1007/3-540-36383-1_7</json:string>
</doi>
<id>DBC30EF32B09EE3E8F8FF41251217F91E1C6AC9D</id>
<score>1.383445</score>
<fulltext><json:item><extension>pdf</extension>
<original>true</original>
<mimetype>application/pdf</mimetype>
<uri>https://api.istex.fr/document/DBC30EF32B09EE3E8F8FF41251217F91E1C6AC9D/fulltext/pdf</uri>
</json:item>
<json:item><extension>zip</extension>
<original>false</original>
<mimetype>application/zip</mimetype>
<uri>https://api.istex.fr/document/DBC30EF32B09EE3E8F8FF41251217F91E1C6AC9D/fulltext/zip</uri>
</json:item>
<istex:fulltextTEI uri="https://api.istex.fr/document/DBC30EF32B09EE3E8F8FF41251217F91E1C6AC9D/fulltext/tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">Algorithms and Heuristics in VLSI Design</title>
<respStmt><resp>Références bibliographiques récupérées via GROBID</resp>
<name resp="ISTEX-API">ISTEX-API (INIST-CNRS)</name>
</respStmt>
<respStmt><resp>Références bibliographiques récupérées via GROBID</resp>
<name resp="ISTEX-API">ISTEX-API (INIST-CNRS)</name>
</respStmt>
</titleStmt>
<publicationStmt><authority>ISTEX</authority>
<publisher>Springer Berlin Heidelberg</publisher>
<pubPlace>Berlin, Heidelberg</pubPlace>
<availability><p>Springer-Verlag Berlin Heidelberg, 2002</p>
</availability>
<date>2002</date>
</publicationStmt>
<sourceDesc><biblStruct type="inbook"><analytic><title level="a" type="main" xml:lang="en">Algorithms and Heuristics in VLSI Design</title>
<author xml:id="author-1"><persName><forename type="first">Christoph</forename>
<surname>Meinel</surname>
</persName>
<email>meinel@ti.uni-trier.de</email>
<affiliation>Department of Computer Science, University of Trier, Trier, Germany</affiliation>
</author>
<author xml:id="author-2"><persName><forename type="first">Christian</forename>
<surname>Stangier</surname>
</persName>
<email>stangier@ti.uni-trier.de</email>
<affiliation>Department of Computer Science, University of Trier, Trier, Germany</affiliation>
</author>
</analytic>
<monogr><title level="m">Experimental Algorithmics</title>
<title level="m" type="sub">From Algorithm Design to Robust and Efficient Software</title>
<idno type="pISBN">978-3-540-00346-5</idno>
<idno type="eISBN">978-3-540-36383-5</idno>
<idno type="pISSN">0302-9743</idno>
<idno type="DOI">10.1007/3-540-36383-1</idno>
<idno type="book-ID">3-540-36383-1</idno>
<idno type="book-title-ID">72525</idno>
<idno type="book-sequence-number">2547</idno>
<idno type="book-volume-number">2547</idno>
<idno type="book-chapter-count">11</idno>
<editor><persName><forename type="first">Rudolf</forename>
<surname>Fleischer</surname>
</persName>
<email>rudolf@cs.ust.hk</email>
<affiliation>Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong</affiliation>
</editor>
<editor><persName><forename type="first">Bernard</forename>
<surname>Moret</surname>
</persName>
<email>moret@cs.unm.edu</email>
<affiliation>Department of Computer Science, University of New Mexico, Farris Engineering Bldg, 87131-1386, Albuquerque, NM, USA</affiliation>
</editor>
<editor><persName><forename type="first">Erik</forename>
<forename type="first">Meineche</forename>
<surname>Schmidt</surname>
</persName>
<email>ems@daimi.au.dk</email>
<affiliation>Department of Computer Science, University of Aarhus, Bld. 540, Ny Munkegade, 8000, Aarhus C, Denmark</affiliation>
</editor>
<imprint><publisher>Springer Berlin Heidelberg</publisher>
<pubPlace>Berlin, Heidelberg</pubPlace>
<date type="published" when="2002-12-16"></date>
<biblScope unit="volume">2547</biblScope>
<biblScope unit="page" from="139">139</biblScope>
<biblScope unit="page" to="162">162</biblScope>
</imprint>
</monogr>
<series><title level="s">Lecture Notes in Computer Science</title>
<editor><persName><forename type="first">Gerhard</forename>
<surname>Goos</surname>
</persName>
<affiliation>Karlsruhe University, Germany</affiliation>
</editor>
<editor><persName><forename type="first">Juris</forename>
<surname>Hartmanis</surname>
</persName>
<affiliation>Cornell University, NY, USA</affiliation>
</editor>
<editor><persName><forename type="first">Jan</forename>
<surname>van Leeuwen</surname>
</persName>
<affiliation>Utrecht University, The Netherlands</affiliation>
</editor>
<biblScope><date>2002</date>
</biblScope>
<idno type="pISSN">0302-9743</idno>
<idno type="series-Id">558</idno>
</series>
<idno type="istex">DBC30EF32B09EE3E8F8FF41251217F91E1C6AC9D</idno>
<idno type="DOI">10.1007/3-540-36383-1_7</idno>
<idno type="ChapterID">7</idno>
<idno type="ChapterID">Chap7</idno>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><creation><date>2002</date>
</creation>
<langUsage><language ident="en">en</language>
</langUsage>
<abstract xml:lang="en"><p>Abstract: The increasing complexity of nowadays VLSI designs makes it hard up to impossible to check their correctness by using validation methods like simulation. Therefore there is is a growing demand for formal verification methods in VLSI design and verification.</p>
</abstract>
<textClass><keywords scheme="Book-Subject-Collection"><list><label>SUCO11645</label>
<item><term>Computer Science</term>
</item>
</list>
</keywords>
</textClass>
<textClass><keywords scheme="Book-Subject-Group"><list><label>I</label>
<label>I00001</label>
<label>I15017</label>
<label>I16021</label>
<label>I1701X</label>
<label>I17028</label>
<label>M14018</label>
<item><term>Computer Science</term>
</item>
<item><term>Computer Science, general</term>
</item>
<item><term>Data Structures</term>
</item>
<item><term>Algorithm Analysis and Problem Complexity</term>
</item>
<item><term>Numeric Computing</term>
</item>
<item><term>Discrete Mathematics in Computer Science</term>
</item>
<item><term>Algorithms</term>
</item>
</list>
</keywords>
</textClass>
</profileDesc>
<revisionDesc><change when="2002-12-16">Published</change>
<change xml:id="refBibs-istex" who="#ISTEX-API" when="2016-11-22">References added</change>
<change xml:id="refBibs-istex" who="#ISTEX-API" when="2017-01-20">References added</change>
</revisionDesc>
</teiHeader>
</istex:fulltextTEI>
<json:item><extension>txt</extension>
<original>false</original>
<mimetype>text/plain</mimetype>
<uri>https://api.istex.fr/document/DBC30EF32B09EE3E8F8FF41251217F91E1C6AC9D/fulltext/txt</uri>
</json:item>
</fulltext>
<metadata><istex:metadataXml wicri:clean="Springer, Publisher found" wicri:toSee="no header"><istex:xmlDeclaration>version="1.0" encoding="UTF-8"</istex:xmlDeclaration>
<istex:docType PUBLIC="-//Springer-Verlag//DTD A++ V2.4//EN" URI="http://devel.springer.de/A++/V2.4/DTD/A++V2.4.dtd" name="istex:docType"></istex:docType>
<istex:document><Publisher><PublisherInfo><PublisherName>Springer Berlin Heidelberg</PublisherName>
<PublisherLocation>Berlin, Heidelberg</PublisherLocation>
</PublisherInfo>
<Series><SeriesInfo SeriesType="Series" TocLevels="0"><SeriesID>558</SeriesID>
<SeriesPrintISSN>0302-9743</SeriesPrintISSN>
<SeriesTitle Language="En">Lecture Notes in Computer Science</SeriesTitle>
</SeriesInfo>
<SeriesHeader><EditorGroup><Editor AffiliationIDS="Aff1"><EditorName DisplayOrder="Western"><GivenName>Gerhard</GivenName>
<FamilyName>Goos</FamilyName>
</EditorName>
</Editor>
<Editor AffiliationIDS="Aff2"><EditorName DisplayOrder="Western"><GivenName>Juris</GivenName>
<FamilyName>Hartmanis</FamilyName>
</EditorName>
</Editor>
<Editor AffiliationIDS="Aff3"><EditorName DisplayOrder="Western"><GivenName>Jan</GivenName>
<Particle>van</Particle>
<FamilyName>Leeuwen</FamilyName>
</EditorName>
</Editor>
<Affiliation ID="Aff1"><OrgName>Karlsruhe University</OrgName>
<OrgAddress><Country>Germany</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff2"><OrgName>Cornell University</OrgName>
<OrgAddress><City>NY</City>
<Country>USA</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff3"><OrgName>Utrecht University</OrgName>
<OrgAddress><Country>The Netherlands</Country>
</OrgAddress>
</Affiliation>
</EditorGroup>
</SeriesHeader>
<Book Language="En"><BookInfo BookProductType="Professional book" Language="En" MediaType="eBook" NumberingStyle="Outline" TocLevels="0"><BookID>3-540-36383-1</BookID>
<BookTitle>Experimental Algorithmics</BookTitle>
<BookSubTitle>From Algorithm Design to Robust and Efficient Software</BookSubTitle>
<BookVolumeNumber>2547</BookVolumeNumber>
<BookSequenceNumber>2547</BookSequenceNumber>
<BookDOI>10.1007/3-540-36383-1</BookDOI>
<BookTitleID>72525</BookTitleID>
<BookPrintISBN>978-3-540-00346-5</BookPrintISBN>
<BookElectronicISBN>978-3-540-36383-5</BookElectronicISBN>
<BookChapterCount>11</BookChapterCount>
<BookHistory><OnlineDate><Year>2002</Year>
<Month>12</Month>
<Day>16</Day>
</OnlineDate>
</BookHistory>
<BookCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName>
<CopyrightYear>2002</CopyrightYear>
</BookCopyright>
<BookSubjectGroup><BookSubject Code="I" Type="Primary">Computer Science</BookSubject>
<BookSubject Code="I00001" Priority="1" Type="Secondary">Computer Science, general</BookSubject>
<BookSubject Code="I15017" Priority="2" Type="Secondary">Data Structures</BookSubject>
<BookSubject Code="I16021" Priority="3" Type="Secondary">Algorithm Analysis and Problem Complexity</BookSubject>
<BookSubject Code="I1701X" Priority="4" Type="Secondary">Numeric Computing</BookSubject>
<BookSubject Code="I17028" Priority="5" Type="Secondary">Discrete Mathematics in Computer Science</BookSubject>
<BookSubject Code="M14018" Priority="6" Type="Secondary">Algorithms</BookSubject>
<SubjectCollection Code="SUCO11645">Computer Science</SubjectCollection>
</BookSubjectGroup>
<BookContext><SeriesID>558</SeriesID>
</BookContext>
</BookInfo>
<BookHeader><EditorGroup><Editor AffiliationIDS="Aff4"><EditorName DisplayOrder="Western"><GivenName>Rudolf</GivenName>
<FamilyName>Fleischer</FamilyName>
</EditorName>
<Contact><Email>rudolf@cs.ust.hk</Email>
</Contact>
</Editor>
<Editor AffiliationIDS="Aff5"><EditorName DisplayOrder="Western"><GivenName>Bernard</GivenName>
<FamilyName>Moret</FamilyName>
</EditorName>
<Contact><Email>moret@cs.unm.edu</Email>
</Contact>
</Editor>
<Editor AffiliationIDS="Aff6"><EditorName DisplayOrder="Western"><GivenName>Erik</GivenName>
<GivenName>Meineche</GivenName>
<FamilyName>Schmidt</FamilyName>
</EditorName>
<Contact><Email>ems@daimi.au.dk</Email>
</Contact>
</Editor>
<Affiliation ID="Aff4"><OrgDivision>Department of Computer Science</OrgDivision>
<OrgName>Hong Kong University of Science and Technology</OrgName>
<OrgAddress><Street>Clear Water Bay</Street>
<City>Kowloon</City>
<Country>Hong Kong</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff5"><OrgDivision>Department of Computer Science</OrgDivision>
<OrgName>University of New Mexico</OrgName>
<OrgAddress><Street>Farris Engineering Bldg</Street>
<Postcode>87131-1386</Postcode>
<City>Albuquerque</City>
<State>NM</State>
<Country>USA</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff6"><OrgDivision>Department of Computer Science</OrgDivision>
<OrgName>University of Aarhus</OrgName>
<OrgAddress><Street>Bld. 540, Ny Munkegade</Street>
<Postcode>8000</Postcode>
<City>Aarhus C</City>
<Country>Denmark</Country>
</OrgAddress>
</Affiliation>
</EditorGroup>
</BookHeader>
<Chapter ID="Chap7" Language="En"><ChapterInfo ChapterType="OriginalPaper" ContainsESM="No" Language="En" NumberingStyle="Outline" TocLevels="0"><ChapterID>7</ChapterID>
<ChapterDOI>10.1007/3-540-36383-1_7</ChapterDOI>
<ChapterSequenceNumber>7</ChapterSequenceNumber>
<ChapterTitle Language="En">Algorithms and Heuristics in VLSI Design</ChapterTitle>
<ChapterFirstPage>139</ChapterFirstPage>
<ChapterLastPage>162</ChapterLastPage>
<ChapterCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName>
<CopyrightYear>2002</CopyrightYear>
</ChapterCopyright>
<ChapterHistory><RegistrationDate><Year>2002</Year>
<Month>12</Month>
<Day>15</Day>
</RegistrationDate>
<OnlineDate><Year>2002</Year>
<Month>12</Month>
<Day>16</Day>
</OnlineDate>
</ChapterHistory>
<ChapterGrants Type="Regular"><MetadataGrant Grant="OpenAccess"></MetadataGrant>
<AbstractGrant Grant="OpenAccess"></AbstractGrant>
<BodyPDFGrant Grant="Restricted"></BodyPDFGrant>
<BodyHTMLGrant Grant="Restricted"></BodyHTMLGrant>
<BibliographyGrant Grant="Restricted"></BibliographyGrant>
<ESMGrant Grant="Restricted"></ESMGrant>
</ChapterGrants>
<ChapterContext><SeriesID>558</SeriesID>
<BookID>3-540-36383-1</BookID>
<BookTitle>Experimental Algorithmics</BookTitle>
</ChapterContext>
</ChapterInfo>
<ChapterHeader><AuthorGroup><Author AffiliationIDS="Aff7"><AuthorName DisplayOrder="Western"><GivenName>Christoph</GivenName>
<FamilyName>Meinel</FamilyName>
</AuthorName>
<Contact><Email>meinel@ti.uni-trier.de</Email>
</Contact>
</Author>
<Author AffiliationIDS="Aff7"><AuthorName DisplayOrder="Western"><GivenName>Christian</GivenName>
<FamilyName>Stangier</FamilyName>
</AuthorName>
<Contact><Email>stangier@ti.uni-trier.de</Email>
</Contact>
</Author>
<Affiliation ID="Aff7"><OrgDivision>Department of Computer Science</OrgDivision>
<OrgName>University of Trier</OrgName>
<OrgAddress><City>Trier</City>
<Country>Germany</Country>
</OrgAddress>
</Affiliation>
</AuthorGroup>
<Abstract ID="Abs1" Language="En"><Heading>Abstract</Heading>
<Para>The increasing complexity of nowadays VLSI designs makes it hard up to impossible to check their correctness by using validation methods like simulation. Therefore there is is a growing demand for formal verification methods in VLSI design and verification.</Para>
</Abstract>
</ChapterHeader>
<NoBody></NoBody>
</Chapter>
</Book>
</Series>
</Publisher>
</istex:document>
</istex:metadataXml>
<mods version="3.6"><titleInfo lang="en"><title>Algorithms and Heuristics in VLSI Design</title>
</titleInfo>
<titleInfo type="alternative" contentType="CDATA" lang="en"><title>Algorithms and Heuristics in VLSI Design</title>
</titleInfo>
<name type="personal"><namePart type="given">Christoph</namePart>
<namePart type="family">Meinel</namePart>
<affiliation>Department of Computer Science, University of Trier, Trier, Germany</affiliation>
<affiliation>E-mail: meinel@ti.uni-trier.de</affiliation>
<role><roleTerm type="text">author</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Christian</namePart>
<namePart type="family">Stangier</namePart>
<affiliation>Department of Computer Science, University of Trier, Trier, Germany</affiliation>
<affiliation>E-mail: stangier@ti.uni-trier.de</affiliation>
<role><roleTerm type="text">author</roleTerm>
</role>
</name>
<typeOfResource>text</typeOfResource>
<genre type="research-article" displayLabel="OriginalPaper"></genre>
<originInfo><publisher>Springer Berlin Heidelberg</publisher>
<place><placeTerm type="text">Berlin, Heidelberg</placeTerm>
</place>
<dateIssued encoding="w3cdtf">2002-12-16</dateIssued>
<copyrightDate encoding="w3cdtf">2002</copyrightDate>
</originInfo>
<language><languageTerm type="code" authority="rfc3066">en</languageTerm>
<languageTerm type="code" authority="iso639-2b">eng</languageTerm>
</language>
<physicalDescription><internetMediaType>text/html</internetMediaType>
</physicalDescription>
<abstract lang="en">Abstract: The increasing complexity of nowadays VLSI designs makes it hard up to impossible to check their correctness by using validation methods like simulation. Therefore there is is a growing demand for formal verification methods in VLSI design and verification.</abstract>
<relatedItem type="host"><titleInfo><title>Experimental Algorithmics</title>
<subTitle>From Algorithm Design to Robust and Efficient Software</subTitle>
</titleInfo>
<name type="personal"><namePart type="given">Rudolf</namePart>
<namePart type="family">Fleischer</namePart>
<affiliation>Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong</affiliation>
<affiliation>E-mail: rudolf@cs.ust.hk</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Bernard</namePart>
<namePart type="family">Moret</namePart>
<affiliation>Department of Computer Science, University of New Mexico, Farris Engineering Bldg, 87131-1386, Albuquerque, NM, USA</affiliation>
<affiliation>E-mail: moret@cs.unm.edu</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Erik</namePart>
<namePart type="given">Meineche</namePart>
<namePart type="family">Schmidt</namePart>
<affiliation>Department of Computer Science, University of Aarhus, Bld. 540, Ny Munkegade, 8000, Aarhus C, Denmark</affiliation>
<affiliation>E-mail: ems@daimi.au.dk</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<genre type="book-series" displayLabel="Professional book"></genre>
<originInfo><copyrightDate encoding="w3cdtf">2002</copyrightDate>
<issuance>monographic</issuance>
</originInfo>
<subject><genre>Book-Subject-Collection</genre>
<topic authority="SpringerSubjectCodes" authorityURI="SUCO11645">Computer Science</topic>
</subject>
<subject><genre>Book-Subject-Group</genre>
<topic authority="SpringerSubjectCodes" authorityURI="I">Computer Science</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I00001">Computer Science, general</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I15017">Data Structures</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I16021">Algorithm Analysis and Problem Complexity</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I1701X">Numeric Computing</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I17028">Discrete Mathematics in Computer Science</topic>
<topic authority="SpringerSubjectCodes" authorityURI="M14018">Algorithms</topic>
</subject>
<identifier type="DOI">10.1007/3-540-36383-1</identifier>
<identifier type="ISBN">978-3-540-00346-5</identifier>
<identifier type="eISBN">978-3-540-36383-5</identifier>
<identifier type="ISSN">0302-9743</identifier>
<identifier type="BookTitleID">72525</identifier>
<identifier type="BookID">3-540-36383-1</identifier>
<identifier type="BookChapterCount">11</identifier>
<identifier type="BookVolumeNumber">2547</identifier>
<identifier type="BookSequenceNumber">2547</identifier>
<part><date>2002</date>
<detail type="volume"><number>2547</number>
<caption>vol.</caption>
</detail>
<extent unit="pages"><start>139</start>
<end>162</end>
</extent>
</part>
<recordInfo><recordOrigin>Springer-Verlag Berlin Heidelberg, 2002</recordOrigin>
</recordInfo>
</relatedItem>
<relatedItem type="series"><titleInfo><title>Lecture Notes in Computer Science</title>
</titleInfo>
<name type="personal"><namePart type="given">Gerhard</namePart>
<namePart type="family">Goos</namePart>
<affiliation>Karlsruhe University, Germany</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Juris</namePart>
<namePart type="family">Hartmanis</namePart>
<affiliation>Cornell University, NY, USA</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Jan</namePart>
<namePart type="family">van Leeuwen</namePart>
<affiliation>Utrecht University, The Netherlands</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<originInfo><copyrightDate encoding="w3cdtf">2002</copyrightDate>
<issuance>serial</issuance>
</originInfo>
<identifier type="ISSN">0302-9743</identifier>
<identifier type="SeriesID">558</identifier>
<recordInfo><recordOrigin>Springer-Verlag Berlin Heidelberg, 2002</recordOrigin>
</recordInfo>
</relatedItem>
<identifier type="istex">DBC30EF32B09EE3E8F8FF41251217F91E1C6AC9D</identifier>
<identifier type="DOI">10.1007/3-540-36383-1_7</identifier>
<identifier type="ChapterID">7</identifier>
<identifier type="ChapterID">Chap7</identifier>
<accessCondition type="use and reproduction" contentType="copyright">Springer-Verlag Berlin Heidelberg, 2002</accessCondition>
<recordInfo><recordContentSource>SPRINGER</recordContentSource>
<recordOrigin>Springer-Verlag Berlin Heidelberg, 2002</recordOrigin>
</recordInfo>
</mods>
</metadata>
</istex>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000E93 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 000E93 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Rhénanie |area= UnivTrevesV1 |flux= Istex |étape= Corpus |type= RBID |clé= ISTEX:DBC30EF32B09EE3E8F8FF41251217F91E1C6AC9D |texte= Algorithms and Heuristics in VLSI Design }}
![]() | This area was generated with Dilib version V0.6.31. | ![]() |