Loading…
A generic FPGA emulation framework
Verification techniques face growing challenges, as digital system design becomes increasingly complex. Currently, verification is believed to be the main bottleneck for expedite complex designs, consuming at least 70% of the whole system development effort. This paper proposes a new, generic hardwa...
Saved in:
Main Authors: | , , , , , , , |
---|---|
Format: | Conference Proceeding |
Language: | English |
Subjects: | |
Online Access: | Request full text |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
cited_by | |
---|---|
cites | |
container_end_page | 236 |
container_issue | |
container_start_page | 233 |
container_title | |
container_volume | |
creator | Moraes, F. Moreira, M. Lucas, C. Correa, D. Cardoso, D. Magnaguagno, M. Castilhos, G. Calazans, N. |
description | Verification techniques face growing challenges, as digital system design becomes increasingly complex. Currently, verification is believed to be the main bottleneck for expedite complex designs, consuming at least 70% of the whole system development effort. This paper proposes a new, generic hardware emulation framework to improve the observability of designs as well as reducing emulation-based verification intrusiveness. The proposed emulator provides enhanced observability and controllability of inner workings of the system when compared to commercial FPGA-based emulators and is less intrusive on the design under verification. As FPGA-vendor specific products, the proposed emulator is generic, supporting in principle any digital system design. To enhance flexibility, stimuli generation and response capture is under control of a host computer and communication between the host and the design under verification may occur through an Ethernet interface or through PCIe interfaces in supported platforms. The prototype of the proposed framework is operational and presents promising results in terms of observability and controllability enhancement, although further work is needed to improve the framework emulation performance. |
doi_str_mv | 10.1109/ICECS.2012.6463758 |
format | conference_proceeding |
fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_6463758</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6463758</ieee_id><sourcerecordid>6463758</sourcerecordid><originalsourceid>FETCH-LOGICAL-i175t-168b7e840174b25875566132f2f750ca68b4d2e3551af0e3ddb885f11e13aeda3</originalsourceid><addsrcrecordid>eNpFj0FLAzEQhSMiqLV_QC-L911nkswkPS5LWwsFBfVcst2JRLutZCviv7fQgqfH4-N98JS6RagQYfKwaKbNS6UBdcWWjSN_pq7RsjOoGfj8v6C9VONh-ACAw5Inmq_UfV28y1ZyWhez53ldSP-9Cfu02xYxh15-dvnzRl3EsBlkfMqReptNX5vHcvk0XzT1skzoaF8i-9aJt4DOtpq8I2JGo6OOjmAdDth2WgwRhghiuq71niKioAnSBTNSd0dvEpHVV059yL-r0yfzBwtDPbQ</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>A generic FPGA emulation framework</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Moraes, F. ; Moreira, M. ; Lucas, C. ; Correa, D. ; Cardoso, D. ; Magnaguagno, M. ; Castilhos, G. ; Calazans, N.</creator><creatorcontrib>Moraes, F. ; Moreira, M. ; Lucas, C. ; Correa, D. ; Cardoso, D. ; Magnaguagno, M. ; Castilhos, G. ; Calazans, N.</creatorcontrib><description>Verification techniques face growing challenges, as digital system design becomes increasingly complex. Currently, verification is believed to be the main bottleneck for expedite complex designs, consuming at least 70% of the whole system development effort. This paper proposes a new, generic hardware emulation framework to improve the observability of designs as well as reducing emulation-based verification intrusiveness. The proposed emulator provides enhanced observability and controllability of inner workings of the system when compared to commercial FPGA-based emulators and is less intrusive on the design under verification. As FPGA-vendor specific products, the proposed emulator is generic, supporting in principle any digital system design. To enhance flexibility, stimuli generation and response capture is under control of a host computer and communication between the host and the design under verification may occur through an Ethernet interface or through PCIe interfaces in supported platforms. The prototype of the proposed framework is operational and presents promising results in terms of observability and controllability enhancement, although further work is needed to improve the framework emulation performance.</description><identifier>ISBN: 1467312614</identifier><identifier>ISBN: 9781467312615</identifier><identifier>EISBN: 1467312606</identifier><identifier>EISBN: 9781467312592</identifier><identifier>EISBN: 9781467312608</identifier><identifier>EISBN: 1467312592</identifier><identifier>DOI: 10.1109/ICECS.2012.6463758</identifier><language>eng</language><publisher>IEEE</publisher><subject>Clocks ; Computer architecture ; Computers ; Emulation ; Field programmable gate arrays ; Hardware ; Observability</subject><ispartof>2012 19th IEEE International Conference on Electronics, Circuits, and Systems (ICECS 2012), 2012, p.233-236</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/6463758$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,777,781,786,787,2052,27906,54901</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6463758$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Moraes, F.</creatorcontrib><creatorcontrib>Moreira, M.</creatorcontrib><creatorcontrib>Lucas, C.</creatorcontrib><creatorcontrib>Correa, D.</creatorcontrib><creatorcontrib>Cardoso, D.</creatorcontrib><creatorcontrib>Magnaguagno, M.</creatorcontrib><creatorcontrib>Castilhos, G.</creatorcontrib><creatorcontrib>Calazans, N.</creatorcontrib><title>A generic FPGA emulation framework</title><title>2012 19th IEEE International Conference on Electronics, Circuits, and Systems (ICECS 2012)</title><addtitle>ICECS</addtitle><description>Verification techniques face growing challenges, as digital system design becomes increasingly complex. Currently, verification is believed to be the main bottleneck for expedite complex designs, consuming at least 70% of the whole system development effort. This paper proposes a new, generic hardware emulation framework to improve the observability of designs as well as reducing emulation-based verification intrusiveness. The proposed emulator provides enhanced observability and controllability of inner workings of the system when compared to commercial FPGA-based emulators and is less intrusive on the design under verification. As FPGA-vendor specific products, the proposed emulator is generic, supporting in principle any digital system design. To enhance flexibility, stimuli generation and response capture is under control of a host computer and communication between the host and the design under verification may occur through an Ethernet interface or through PCIe interfaces in supported platforms. The prototype of the proposed framework is operational and presents promising results in terms of observability and controllability enhancement, although further work is needed to improve the framework emulation performance.</description><subject>Clocks</subject><subject>Computer architecture</subject><subject>Computers</subject><subject>Emulation</subject><subject>Field programmable gate arrays</subject><subject>Hardware</subject><subject>Observability</subject><isbn>1467312614</isbn><isbn>9781467312615</isbn><isbn>1467312606</isbn><isbn>9781467312592</isbn><isbn>9781467312608</isbn><isbn>1467312592</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2012</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNpFj0FLAzEQhSMiqLV_QC-L911nkswkPS5LWwsFBfVcst2JRLutZCviv7fQgqfH4-N98JS6RagQYfKwaKbNS6UBdcWWjSN_pq7RsjOoGfj8v6C9VONh-ACAw5Inmq_UfV28y1ZyWhez53ldSP-9Cfu02xYxh15-dvnzRl3EsBlkfMqReptNX5vHcvk0XzT1skzoaF8i-9aJt4DOtpq8I2JGo6OOjmAdDth2WgwRhghiuq71niKioAnSBTNSd0dvEpHVV059yL-r0yfzBwtDPbQ</recordid><startdate>201212</startdate><enddate>201212</enddate><creator>Moraes, F.</creator><creator>Moreira, M.</creator><creator>Lucas, C.</creator><creator>Correa, D.</creator><creator>Cardoso, D.</creator><creator>Magnaguagno, M.</creator><creator>Castilhos, G.</creator><creator>Calazans, N.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>201212</creationdate><title>A generic FPGA emulation framework</title><author>Moraes, F. ; Moreira, M. ; Lucas, C. ; Correa, D. ; Cardoso, D. ; Magnaguagno, M. ; Castilhos, G. ; Calazans, N.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i175t-168b7e840174b25875566132f2f750ca68b4d2e3551af0e3ddb885f11e13aeda3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2012</creationdate><topic>Clocks</topic><topic>Computer architecture</topic><topic>Computers</topic><topic>Emulation</topic><topic>Field programmable gate arrays</topic><topic>Hardware</topic><topic>Observability</topic><toplevel>online_resources</toplevel><creatorcontrib>Moraes, F.</creatorcontrib><creatorcontrib>Moreira, M.</creatorcontrib><creatorcontrib>Lucas, C.</creatorcontrib><creatorcontrib>Correa, D.</creatorcontrib><creatorcontrib>Cardoso, D.</creatorcontrib><creatorcontrib>Magnaguagno, M.</creatorcontrib><creatorcontrib>Castilhos, G.</creatorcontrib><creatorcontrib>Calazans, N.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Xplore</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Moraes, F.</au><au>Moreira, M.</au><au>Lucas, C.</au><au>Correa, D.</au><au>Cardoso, D.</au><au>Magnaguagno, M.</au><au>Castilhos, G.</au><au>Calazans, N.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>A generic FPGA emulation framework</atitle><btitle>2012 19th IEEE International Conference on Electronics, Circuits, and Systems (ICECS 2012)</btitle><stitle>ICECS</stitle><date>2012-12</date><risdate>2012</risdate><spage>233</spage><epage>236</epage><pages>233-236</pages><isbn>1467312614</isbn><isbn>9781467312615</isbn><eisbn>1467312606</eisbn><eisbn>9781467312592</eisbn><eisbn>9781467312608</eisbn><eisbn>1467312592</eisbn><abstract>Verification techniques face growing challenges, as digital system design becomes increasingly complex. Currently, verification is believed to be the main bottleneck for expedite complex designs, consuming at least 70% of the whole system development effort. This paper proposes a new, generic hardware emulation framework to improve the observability of designs as well as reducing emulation-based verification intrusiveness. The proposed emulator provides enhanced observability and controllability of inner workings of the system when compared to commercial FPGA-based emulators and is less intrusive on the design under verification. As FPGA-vendor specific products, the proposed emulator is generic, supporting in principle any digital system design. To enhance flexibility, stimuli generation and response capture is under control of a host computer and communication between the host and the design under verification may occur through an Ethernet interface or through PCIe interfaces in supported platforms. The prototype of the proposed framework is operational and presents promising results in terms of observability and controllability enhancement, although further work is needed to improve the framework emulation performance.</abstract><pub>IEEE</pub><doi>10.1109/ICECS.2012.6463758</doi><tpages>4</tpages></addata></record> |
fulltext | fulltext_linktorsrc |
identifier | ISBN: 1467312614 |
ispartof | 2012 19th IEEE International Conference on Electronics, Circuits, and Systems (ICECS 2012), 2012, p.233-236 |
issn | |
language | eng |
recordid | cdi_ieee_primary_6463758 |
source | IEEE Electronic Library (IEL) Conference Proceedings |
subjects | Clocks Computer architecture Computers Emulation Field programmable gate arrays Hardware Observability |
title | A generic FPGA emulation framework |
url | http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-19T19%3A55%3A14IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=A%20generic%20FPGA%20emulation%20framework&rft.btitle=2012%2019th%20IEEE%20International%20Conference%20on%20Electronics,%20Circuits,%20and%20Systems%20(ICECS%202012)&rft.au=Moraes,%20F.&rft.date=2012-12&rft.spage=233&rft.epage=236&rft.pages=233-236&rft.isbn=1467312614&rft.isbn_list=9781467312615&rft_id=info:doi/10.1109/ICECS.2012.6463758&rft.eisbn=1467312606&rft.eisbn_list=9781467312592&rft.eisbn_list=9781467312608&rft.eisbn_list=1467312592&rft_dat=%3Cieee_6IE%3E6463758%3C/ieee_6IE%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-i175t-168b7e840174b25875566132f2f750ca68b4d2e3551af0e3ddb885f11e13aeda3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=6463758&rfr_iscdi=true |