11 papers:
DAC-2010-LishernessC #fault #injection #named- SCEMIT: a systemc error and mutation injection tool (PL, KT(C), pp. 228–233.
DATE-2010-MelloMGP #parallel #simulation- Parallel simulation of systemC TLM 2.0 compliant MPSoC on SMP workstations (AM, IM, AG, FP), pp. 606–609.
- DAC-2008-KunduGG #design #partial order #reduction #scalability #testing
- Partial order reduction for scalable testing of systemC TLM designs (SK, MKG, RG), pp. 936–941.
- DAC-2006-BruceHNBRL #consistency #design #maintenance
- Maintaining consistency between systemC and RTL system designs (ACB, MMKH, AN, SB, NR, CKL), pp. 85–89.
- DATE-2006-KarlssonEP #design #petri net #representation #using #verification
- Formal verification of systemc designs using a petri-net based representation (DK, PE, ZP), pp. 1228–1233.
- DATE-2006-MallikSBZ #design #optimisation #power management
- Smart bit-width allocation for low power optimization in a systemc based ASIC design environment (AM, DS, PB, HZ), pp. 618–623.
- DATE-DF-2006-BannowHR #automation #clustering #design #evaluation #performance
- Automatic systemC design configuration for a faster evaluation of different partitioning alternatives (NB, KH, WR), pp. 217–218.
- DAC-2004-BrandoleseFS #design #estimation
- An area estimation methodology for FPGA based designs at systemc-level (CB, WF, FS), pp. 129–132.
- DATE-2001-CharestRAB #open source
- A methodology for interfacing open source systemC with a third party software (LC, MR, EMA, GB), p. 16.
- DATE-2001-EconomakosOPPP #behaviour #synthesis
- Behavioral synthesis with systemC (GE, PO, IP, IP, GKP), pp. 21–25.
- DATE-2001-RufHGKRM #semantics #simulation
- The simulation semantics of systemC (JR, DWH, JG, TK, WR, WM), pp. 64–70.
