Verification of Modular Asynchronous Circuits
This chapter contains sections titled: About Asynchronous Circuits XOR‐Gates CEL‐Circuit Other Modules Module Extensions Modular Networks Realizations Verification of Extended Modules Verification of Parallel Control Structures Further Reading Selected Solutions References
Gespeichert in:
| Format: | Buchkapitel |
|---|---|
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 146 |
|---|---|
| container_issue | |
| container_start_page | 117 |
| container_title | |
| container_volume | |
| description | This chapter contains sections titled:
About Asynchronous Circuits
XOR‐Gates
CEL‐Circuit
Other Modules
Module Extensions
Modular Networks
Realizations
Verification of Extended Modules
Verification of Parallel Control Structures
Further Reading
Selected Solutions
References |
| doi_str_mv | 10.1002/9780470253410.ch7 |
| format | Book Chapter |
| fullrecord | <record><control><sourceid>wiley</sourceid><recordid>TN_cdi_wiley_ebooks_10_1002_9780470253410_ch7_ch7</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10.1002/9780470253410.ch7</sourcerecordid><originalsourceid>FETCH-wiley_ebooks_10_1002_9780470253410_ch7_ch73</originalsourceid><addsrcrecordid>eNpjYJA0NNAzNDAw0rc0tzAwMTcwMjU2AQolZ5gzMvCiiDHD-IbmBiYmlkYcDLzFxVkGQGBkZm5gac7JoBuWWpSZlpmcWJKZn6eQn6bgm59SmpNYpOBYXJmXnFGUn5dfWqzgnFmUXJpZUszDwJqWmFOcyguluRkM3VxDnD10yzNzUivjU5Py87OL4w0N4kHOi0dxSjzQeSBszM2gi0UPqtqqzAKw-oKUNGNy7AAA_klQNQ</addsrcrecordid><sourcetype>Enrichment Source</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype></control><display><type>book_chapter</type><title>Verification of Modular Asynchronous Circuits</title><source>Wiley Online Library All Obooks</source><contributor>Yoeli, Michael ; Kol, Rakefet</contributor><creatorcontrib>Yoeli, Michael ; Kol, Rakefet</creatorcontrib><description>This chapter contains sections titled:
About Asynchronous Circuits
XOR‐Gates
CEL‐Circuit
Other Modules
Module Extensions
Modular Networks
Realizations
Verification of Extended Modules
Verification of Parallel Control Structures
Further Reading
Selected Solutions
References</description><identifier>ISBN: 9780471704492</identifier><identifier>ISBN: 0471704490</identifier><identifier>EISBN: 9780470253410</identifier><identifier>EISBN: 047025341X</identifier><identifier>DOI: 10.1002/9780470253410.ch7</identifier><language>eng</language><publisher>Hoboken, NJ, USA: John Wiley & Sons, Inc</publisher><subject>modular asynchronous circuit verification ; modular asynchronous circuits ; modular network composition</subject><ispartof>Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS, 2008, p.117-146</ispartof><rights>Copyright © 2008 John Wiley & Sons, Inc.</rights><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://onlinelibrary.wiley.com/doi/pdf/10.1002/9780470253410.ch7$$EPDF$$P50$$Gwiley$$H</linktopdf><linktohtml>$$Uhttps://onlinelibrary.wiley.com/doi/full/10.1002/9780470253410.ch7$$EHTML$$P50$$Gwiley$$H</linktohtml><link.rule.ids>776,777,781,790,4309,27906,52513,52661</link.rule.ids></links><search><contributor>Yoeli, Michael</contributor><contributor>Kol, Rakefet</contributor><title>Verification of Modular Asynchronous Circuits</title><title>Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS</title><description>This chapter contains sections titled:
About Asynchronous Circuits
XOR‐Gates
CEL‐Circuit
Other Modules
Module Extensions
Modular Networks
Realizations
Verification of Extended Modules
Verification of Parallel Control Structures
Further Reading
Selected Solutions
References</description><subject>modular asynchronous circuit verification</subject><subject>modular asynchronous circuits</subject><subject>modular network composition</subject><isbn>9780471704492</isbn><isbn>0471704490</isbn><isbn>9780470253410</isbn><isbn>047025341X</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>2008</creationdate><recordtype>book_chapter</recordtype><sourceid/><recordid>eNpjYJA0NNAzNDAw0rc0tzAwMTcwMjU2AQolZ5gzMvCiiDHD-IbmBiYmlkYcDLzFxVkGQGBkZm5gac7JoBuWWpSZlpmcWJKZn6eQn6bgm59SmpNYpOBYXJmXnFGUn5dfWqzgnFmUXJpZUszDwJqWmFOcyguluRkM3VxDnD10yzNzUivjU5Py87OL4w0N4kHOi0dxSjzQeSBszM2gi0UPqtqqzAKw-oKUNGNy7AAA_klQNQ</recordid><startdate>20080222</startdate><enddate>20080222</enddate><general>John Wiley & Sons, Inc</general><scope/></search><sort><creationdate>20080222</creationdate><title>Verification of Modular Asynchronous Circuits</title></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-wiley_ebooks_10_1002_9780470253410_ch7_ch73</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>2008</creationdate><topic>modular asynchronous circuit verification</topic><topic>modular asynchronous circuits</topic><topic>modular network composition</topic><toplevel>online_resources</toplevel></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Yoeli, Michael</au><au>Kol, Rakefet</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>Verification of Modular Asynchronous Circuits</atitle><btitle>Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS</btitle><date>2008-02-22</date><risdate>2008</risdate><spage>117</spage><epage>146</epage><pages>117-146</pages><isbn>9780471704492</isbn><isbn>0471704490</isbn><eisbn>9780470253410</eisbn><eisbn>047025341X</eisbn><abstract>This chapter contains sections titled:
About Asynchronous Circuits
XOR‐Gates
CEL‐Circuit
Other Modules
Module Extensions
Modular Networks
Realizations
Verification of Extended Modules
Verification of Parallel Control Structures
Further Reading
Selected Solutions
References</abstract><cop>Hoboken, NJ, USA</cop><pub>John Wiley & Sons, Inc</pub><doi>10.1002/9780470253410.ch7</doi><tpages>30</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISBN: 9780471704492 |
| ispartof | Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS, 2008, p.117-146 |
| issn | |
| language | eng |
| recordid | cdi_wiley_ebooks_10_1002_9780470253410_ch7_ch7 |
| source | Wiley Online Library All Obooks |
| subjects | modular asynchronous circuit verification modular asynchronous circuits modular network composition |
| title | Verification of Modular Asynchronous Circuits |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-20T07%3A27%3A22IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-wiley&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=bookitem&rft.atitle=Verification%20of%20Modular%20Asynchronous%20Circuits&rft.btitle=Verification%20of%20Systems%20and%20Circuits%20Using%20LOTOS,%20Petri%20Nets,%20and%20CCS&rft.au=Yoeli,%20Michael&rft.date=2008-02-22&rft.spage=117&rft.epage=146&rft.pages=117-146&rft.isbn=9780471704492&rft.isbn_list=0471704490&rft_id=info:doi/10.1002/9780470253410.ch7&rft_dat=%3Cwiley%3E10.1002/9780470253410.ch7%3C/wiley%3E%3Curl%3E%3C/url%3E&rft.eisbn=9780470253410&rft.eisbn_list=047025341X&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |