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...

Full description

Saved in:
Bibliographic Details
Main Authors: Moraes, F., Moreira, M., Lucas, C., Correa, D., Cardoso, D., Magnaguagno, M., Castilhos, G., Calazans, N.
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