Filters








266 Hits in 2.1 sec

Predictive runtime verification of multi-processor SoCs in SystemC

Alper Sen, Vinit Ogale, Magdy S. Abadir
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5vn6yyeefbbxtoo3uhwxwjwtme" style="color: black;">Proceedings of the 45th annual conference on Design automation - DAC &#39;08</a> </i> &nbsp;
We patched SystemC kernel to implement our solution and obtained favorable results on industrial designs.  ...  We identify synchronization constructs in SystemC and develop predictive techniques for temporal assertion verification and deadlock detection.  ...  Our experimental results on industrial designs validate the effectiveness of predictive runtime verification.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1391469.1391708">doi:10.1145/1391469.1391708</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/dac/SenOA08.html">dblp:conf/dac/SenOA08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kdkyxzioondk7g35gy4nu6magu">fatcat:kdkyxzioondk7g35gy4nu6magu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20121004024846/http://www.cmpe.boun.edu.tr:80/~sen/publications/dac08.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ad/b7/adb78b2da66acaf13adf1d33cafae3dbac8e54fc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1391469.1391708"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Runtime deadlock analysis for system level design

Eric Cheung, Xi Chen, Harry Hsieh, Abhijit Davare, Alberto Sangiovanni-Vincentelli, Yosinori Watanabe
<span title="2009-07-25">2009</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uu3klqqxhvao7lljdlxvdqib6e" style="color: black;">Design automation for embedded systems</a> </i> &nbsp;
In the design of highly complex, heterogeneous and concurrent systems, deadlock detection remains an important issue.  ...  A loop-detection algorithm is then used to detect deadlocks and help designers quickly isolate and identify modeling errors that cause the deadlock problems.  ...  Open Access This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10617-009-9046-2">doi:10.1007/s10617-009-9046-2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mhwznbafeffoxnkzagvyxatyze">fatcat:mhwznbafeffoxnkzagvyxatyze</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171017055340/http://publisher-connector.core.ac.uk/resourcesync/data/Springer-OA/pdf/a6e/aHR0cDovL2xpbmsuc3ByaW5nZXIuY29tLzEwLjEwMDcvczEwNjE3LTAwOS05MDQ2LTIucGRm.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/85/81/858111867e3e68ff13472853505087844f1184d8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10617-009-9046-2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Partial order reduction for scalable testing of systemC TLM designs

Sudipta Kundu, Malay Ganai, Rajesh Gupta
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5vn6yyeefbbxtoo3uhwxwjwtme" style="color: black;">Proceedings of the 45th annual conference on Design automation - DAC &#39;08</a> </i> &nbsp;
To leverage testing of a SystemC TLM design, we focus on automatically exploring all possible behaviors of the design for a given data input.  ...  A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic.  ...  We chose performance since for most SystemC designs we can find the dependency relation quite precisely by using static analysis only.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1391469.1391706">doi:10.1145/1391469.1391706</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/dac/KunduGG08.html">dblp:conf/dac/KunduGG08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rpjqf2oenjdgvpxtzkphehsu7e">fatcat:rpjqf2oenjdgvpxtzkphehsu7e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20081002143602/http://mesl.ucsd.edu/sudipta/pub/kundu_dac08.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/60/4b/604b8ab22b8e52aa205d8e86aa7dfde0811a90f4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1391469.1391706"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Coverage metrics for verification of concurrent SystemC designs using mutation testing

Alper Sen, Magdy S. Abadir
<span title="">2010</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4xfhwkuqw5f43mad6ock55mkeu" style="color: black;">2010 IEEE International High Level Design Validation and Test Workshop (HLDVT)</a> </i> &nbsp;
Mutation testing has successfully been applied in software testing and RTL designs. In this paper, we develop a comprehensive set of mutation operators for concurrency constructs in SystemC.  ...  Design verification has grown to dominate the cost of electronic system design; however, designs continue to be released with latent bugs.  ...  As experimental testbeds, we chose five designs from OSCI SystemC and TLM 2.0 library distributions [15] , two designs from SystemC Runtime Verification Toolbox (SCRV) [17] , and an industrial design  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hldvt.2010.5496659">doi:10.1109/hldvt.2010.5496659</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/hldvt/SenA10.html">dblp:conf/hldvt/SenA10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jjcd6evcn5ahrh3yadhh2qjxja">fatcat:jjcd6evcn5ahrh3yadhh2qjxja</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705115447/https://www.cmpe.boun.edu.tr/~sen/publications/hldvt10.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b7/b7/b7b7dfc55f40e30b504bc5bcab0ec6cb200eba84.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hldvt.2010.5496659"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Worst-case performance analysis of parallel, communicating software processes

A. Siebenborn, O. Bringmann, W. Rosenstiel
<span title="">2002</span> <i title="ACM Press"> Proceedings of the tenth international symposium on Hardware/software codesign - CODES &#39;02 </i> &nbsp;
This know ledge allows the determination of the worst-case response time (WCRT). The method does not rely on restrictions on the system design to prevent deadlocks or data loss.  ...  In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase execution time (WCET) analysis  ...  PARALLEL PROCESSES IN SYSTEMC The SystemC design platform is a C/C++ based design methodology that allows system specification at several abstraction levels, allowing the specification of both hardware  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/774796.774798">doi:10.1145/774796.774798</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/d3h2o6x5snbabjqsijvx6ujcbu">fatcat:d3h2o6x5snbabjqsijvx6ujcbu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170815073540/http://www.cecs.uci.edu/~papers/compendium94-03/papers/2002/codes02/pdffiles/2_2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e6/14/e61475b398d7e738e4890fe3648acd53e00850e3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/774796.774798"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Worst-case performance analysis of parallel, communicating software processes

A. Siebenborn, O. Bringmann, W. Rosenstiel
<span title="">2002</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/h4zelo33ojdfzbwajaf5qlthey" style="color: black;">Proceedings of the tenth international symposium on Hardware/software codesign - CODES &#39;02</a> </i> &nbsp;
This know ledge allows the determination of the worst-case response time (WCRT). The method does not rely on restrictions on the system design to prevent deadlocks or data loss.  ...  In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase execution time (WCET) analysis  ...  PARALLEL PROCESSES IN SYSTEMC The SystemC design platform is a C/C++ based design methodology that allows system specification at several abstraction levels, allowing the specification of both hardware  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/774789.774798">doi:10.1145/774789.774798</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/codes/SiebenbornBR02.html">dblp:conf/codes/SiebenbornBR02</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xobesmfbrzfn7m5mpyaizfv7a4">fatcat:xobesmfbrzfn7m5mpyaizfv7a4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170815073540/http://www.cecs.uci.edu/~papers/compendium94-03/papers/2002/codes02/pdffiles/2_2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e6/14/e61475b398d7e738e4890fe3648acd53e00850e3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/774789.774798"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off [chapter]

F. Herrera, I. Ugarte
<span title="2012-03-02">2012</span> <i title="InTech"> Embedded Systems - Theory and Design Methodology </i> &nbsp;
This type of modelling is required for speeding up the simulation of complex systems in new design activities, such as Design Space Exploration (DSE).  ...  Embedded Systems -Theory and Design Methodology 252 set of features for a rich, standard modelling of concurrency, time, data types and modular hierarchical.  ...  The basic idea is that the runtime overhead is reduced by computing the dependency information statically; to later use it during runtime.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5772/37476">doi:10.5772/37476</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hpkrk7lxhzcyxmilycmbtzfadm">fatcat:hpkrk7lxhzcyxmilycmbtzfadm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180727105915/https://api.intechopen.com/chapter/pdf-download/29212" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ab/20/ab20a015603ec3403c3f2a4bcbe12e06def47ef3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5772/37476"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

NARCO: Neighbor Aware Turn Model-Based Fault Tolerant Routing for NoCs

Yong Zou, Sudeep Pasricha
<span title="">2010</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/fcpafl32h5cn5cfpmldtiodhge" style="color: black;">IEEE Embedded Systems Letters</a> </i> &nbsp;
Permanent faults in NoCs due to fabrication challenges in sub-65 nm CMOS technologies and due to wearout underscore the need for fault tolerant design.  ...  The proposed scheme enables better packet arrival rate than state of the art, while enabling a tradeoff between communication reliability and energy overhead.  ...  Faults in the NoC were modeled as randomly distributed linklevel hard failures that can represent design time or runtime failures.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/les.2010.2063415">doi:10.1109/les.2010.2063415</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3rgcrpwembau5dyxwdzvts3b24">fatcat:3rgcrpwembau5dyxwdzvts3b24</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20141023105712/http://www.engr.colostate.edu:80/~sudeep/pubs/publications/2010-Sep-ESL-ZouPasricha.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/62/3b/623b607e39779d29aeef3563caa8c009e4de5e3d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/les.2010.2063415"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Race analysis for SystemC using model checking

Nicolas Blanc, Daniel Kroening
<span title="">2008</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ffbycmiwjfgqbewnyare6s37ru" style="color: black;">2008 IEEE/ACM International Conference on Computer-Aided Design</a> </i> &nbsp;
The methods of a SystemC module may be designated as threads or processes.  ...  SystemC programs make use of a C++ template library. SystemC modules are therefore plain C++ classes, which are compiled and then linked to a runtime scheduler, which is part of the library.  ...  of the paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/iccad.2008.4681598">doi:10.1109/iccad.2008.4681598</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/iccad/BlancK08.html">dblp:conf/iccad/BlancK08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jiqsr6swmrfkzgpxf2gs3hfgsu">fatcat:jiqsr6swmrfkzgpxf2gs3hfgsu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809072751/http://www.kroening.com/papers/todaes2010.pdf?origin=publication_detail" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/77/d5/77d5389c284f45565eb59602d9046c8012f80831.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/iccad.2008.4681598"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Race analysis for systemc using model checking

Nicolas Blanc, Daniel Kroening
<span title="2010-05-01">2010</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ditvnky3lrdclbnymbnpcslo5m" style="color: black;">ACM Transactions on Design Automation of Electronic Systems</a> </i> &nbsp;
The methods of a SystemC module may be designated as threads or processes.  ...  SystemC programs make use of a C++ template library. SystemC modules are therefore plain C++ classes, which are compiled and then linked to a runtime scheduler, which is part of the library.  ...  of the paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1754405.1754406">doi:10.1145/1754405.1754406</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ujyzbd4u2fcy3ncmsipgk4gr4m">fatcat:ujyzbd4u2fcy3ncmsipgk4gr4m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809072751/http://www.kroening.com/papers/todaes2010.pdf?origin=publication_detail" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/77/d5/77d5389c284f45565eb59602d9046c8012f80831.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1754405.1754406"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

RTOS-aware refinement for TLM2.0-based HW/SW designs

Markus Becker, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Mueller, Graziano Pravadelli, Tao Xie
<span title="">2010</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qjrrvry5ubgdlarkymvlxuip6m" style="color: black;">2010 Design, Automation &amp; Test in Europe Conference &amp; Exhibition (DATE 2010)</a> </i> &nbsp;
Each refinement level allows the designer to estimate more and more accurate timing properties, thus anticipating design decisions without being constrained to leave timing analysis to the final step of  ...  The effectiveness of the methodology has been evaluated in the design of two complex platforms.  ...  Time is estimated at runtime by means of overloaded operators of C primitives.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/date.2010.5456965">doi:10.1109/date.2010.5456965</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/date/BeckerGF0PX10.html">dblp:conf/date/BeckerGF0PX10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/h4sc5aol6rahxdz3e4ra5t6g7y">fatcat:h4sc5aol6rahxdz3e4ra5t6g7y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808075154/http://adt.cs.upb.de/wolfgang/date10e.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/da/37/da377d0f359281220d6fb931089580a30da27c04.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/date.2010.5456965"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC [chapter]

Philipp A. Hartmann, Kim Grüttner, Achim Rettberg, Ina Podolski
<span title="">2010</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kss7mrolvja63k4rmix3iynkzi" style="color: black;">IFIP Advances in Information and Communication Technology</a> </i> &nbsp;
Designers are facing various new challenges during the development of efficient, predictable, and correct applications for such platforms.  ...  ) has to be explored in early design phases.  ...  Therefore, early simulation of the different alternatives is a valuable analysis tool for a designer.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-15234-4_18">doi:10.1007/978-3-642-15234-4_18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/x34kw2fm5ndpdavt3ml3bkoywm">fatcat:x34kw2fm5ndpdavt3ml3bkoywm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190502225427/https://link.springer.com/content/pdf/10.1007%2F978-3-642-15234-4_18.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/05/0a/050a679ff63b2be78422f6123aa8805572e97817.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-15234-4_18"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Efficient simulation of synthesis-oriented system level designs

Nick Savoiu, Sandeep K. Shukla, Rajesh K. Gupta
<span title="">2002</span> <i title="ACM Press"> Proceedings of the 15th international symposium on System Synthesis - ISSS &#39;02 </i> &nbsp;
For synthesis, designs are usually described with synthesis tools in mind and are therefore partitioned according to the targeted hardware units.  ...  Modeling for synthesis and modeling for simulation seem to be two competing goals in the context of C++-based modeling frameworks.  ...  Since applications spend most of their execution time in loops improvements to loop runtimes translate into good overall runtime improvements.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/581199.581237">doi:10.1145/581199.581237</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bhgqygqyxnh6xnnbdxnj7wepte">fatcat:bhgqygqyxnh6xnnbdxnj7wepte</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808222813/http://www.cecs.uci.edu/~papers/compendium94-03/papers/2002/isss02/pdffiles/p168.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/de/bb/debb1c19f1ce09537d341fcd17ce3b5ae22fe919.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/581199.581237"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Efficient simulation of synthesis-oriented system level designs

Nick Savoiu, Sandeep K. Shukla, Rajesh K. Gupta
<span title="">2002</span> <i title="ACM Press"> Proceedings of the 15th international symposium on System Synthesis - ISSS &#39;02 </i> &nbsp;
For synthesis, designs are usually described with synthesis tools in mind and are therefore partitioned according to the targeted hardware units.  ...  Modeling for synthesis and modeling for simulation seem to be two competing goals in the context of C++-based modeling frameworks.  ...  Since applications spend most of their execution time in loops improvements to loop runtimes translate into good overall runtime improvements.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/581233.581237">doi:10.1145/581233.581237</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gmkv6b5s7fggnl2lxpi5njzui4">fatcat:gmkv6b5s7fggnl2lxpi5njzui4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808222813/http://www.cecs.uci.edu/~papers/compendium94-03/papers/2002/isss02/pdffiles/p168.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/de/bb/debb1c19f1ce09537d341fcd17ce3b5ae22fe919.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/581233.581237"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

SC-DEVS: An efficient SystemC extension for the DEVS model of computation

F. Madlener, H.G. Molter, S.A. Huss
<span title="">2009</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qjrrvry5ubgdlarkymvlxuip6m" style="color: black;">2009 Design, Automation &amp; Test in Europe Conference &amp; Exhibition</a> </i> &nbsp;
It thus combines Model of Computation (MoC) specific properties and the features of an advanced SystemC environment.  ...  The execution of abstract system level DEVS models is comparable to pure SystemC models and is significantly faster compared to other DEVS environments.  ...  This allows the in-depth analysis of concurrent communication.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/date.2009.5090903">doi:10.1109/date.2009.5090903</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/date/MadlenerMH09.html">dblp:conf/date/MadlenerMH09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s2qy7buajva3lm2zb72aoyydqq">fatcat:s2qy7buajva3lm2zb72aoyydqq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705111508/https://www.date-conference.com/proceedings-archive/PAPERS/2009/DATE09/PDFFILES/11.6_4.PDF" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a5/f5/a5f5e6856dfb671a59dcb9cc6124f96f35da4476.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/date.2009.5090903"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 266 results