System-level abstraction semantics
Proceedings of the 15th international symposium on System Synthesis
Instruction generation for hybrid reconfigurable systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Functional and Performance Modeling of Concurrency in VCC
Concurrency and Hardware Design, Advances in Petri Nets
Computer Networks: The International Journal of Computer and Telecommunications Networking - Network processors
Application of design patterns for hardware design
Proceedings of the 40th annual Design Automation Conference
SystemC
A modular simulation framework for architectural exploration of on-chip interconnection networks
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Transaction level modeling: an overview
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Extending the SystemC synthesis subset by object-oriented features
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
RTOS scheduling in transaction level models
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
SEAS: a system for early analysis of SoCs
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Early and accurate analysis of SoCs: oxymoron or real?
Proceedings of the 2004 international workshop on System level interconnect prediction
Microarchitecture Development via Metropolis Successive Platform Refinement
Proceedings of the conference on Design, automation and test in Europe - Volume 1
A SystemC-Based Verification Methodology for Complex Wireless Software IP
Proceedings of the conference on Design, automation and test in Europe - Volume 1
SystemC and SystemVerilog: Where do They Fit? Where are They Going?
Proceedings of the conference on Design, automation and test in Europe - Volume 1
System-Level Performance Analysis in SystemC
Proceedings of the conference on Design, automation and test in Europe - Volume 1
System Design for DSP Applications Using the MASIC Methodology
Proceedings of the conference on Design, automation and test in Europe - Volume 1
Proceedings of the conference on Design, automation and test in Europe - Volume 2
Synthesis of Embedded SystemC Design: A Case Study of Digital Neural Networks
Proceedings of the conference on Design, automation and test in Europe - Volume 3
System Level Power Modeling and Simulation of High-End Industrial Network-on-Chip
Proceedings of the conference on Design, automation and test in Europe - Volume 3
Evaluation of an Object-Oriented Hardware Design Methodology for Automotive Applications
Proceedings of the conference on Design, automation and test in Europe - Volume 3
Evaluation of a Refinement-Driven SystemC"-Based Design Flow
Proceedings of the conference on Design, automation and test in Europe - Volume 3
A Design Methodology for the Exploitation of High Level Communication Synthesis
Proceedings of the conference on Design, automation and test in Europe - Volume 3
The digital divide of computing
Proceedings of the 1st conference on Computing frontiers
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Proceedings of the 14th ACM Great Lakes symposium on VLSI
Extending the transaction level modeling approach for fast communication architecture exploration
Proceedings of the 41st annual Design Automation Conference
Retargetable profiling for rapid, early system-level design space exploration
Proceedings of the 41st annual Design Automation Conference
System design for DSP applications in transaction level modeling paradigm
Proceedings of the 41st annual Design Automation Conference
Performance analysis of different arbitration algorithms of the AMBA AHB bus
Proceedings of the 41st annual Design Automation Conference
Heterogeneous MP-SoC: the solution to energy-efficient signal processing
Proceedings of the 41st annual Design Automation Conference
Object-oriented modeling and synthesis of SystemC specifications
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
Embedded software generation from system level design languages
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
Automatic generation of bus functional models from transaction level models
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
Space: a hardware/software systemC modeling platform including an RTOS
Languages for system specification
A case study: systemC-based design of an industrial exposure control unit
Languages for system specification
Modeling of CSP, KPN and SR systems with systemC
Languages for system specification
On hardware description in ECL
Languages for system specification
Extending systemC to analog modelling and simulation
Languages for system specification
Transaction level modeling: flows and use models
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Design and programming of embedded multiprocessors: an interface-centric approach
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Fast exploration of bus-based on-chip communication architectures
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Model based estimation and verification of mobile device performance
Proceedings of the 4th ACM international conference on Embedded software
Separation of concerns: overhead in modeling and efficient simulation techniques
Proceedings of the 4th ACM international conference on Embedded software
SystemC-AMS Requirements, Design Objectives and Rationale
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Transaction-Level Models for AMBA Bus Architecture Using SystemC 2.0
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 2
Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 2
A Mixed Abstraction Level Co-Simulation Case Study Using SystemC for System on Chip Verification
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 2
Synthesis of Complex Control Structures from Behavioral SystemC Models
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 2
SystemC Modeling of a Bluetooth Transceiver: Dynamic Management of Packet Type in a Noisy Channel
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 2
Modular design through component abstraction
Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems
Proceedings of the 35th conference on Winter simulation: driving innovation
The Challenges of Hardware Synthesis from C-Like Languages
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
A Network Traffic Generator Model for Fast Network-on-Chip Simulation
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Methods for evaluating and covering the design space during early design development
Integration, the VLSI Journal
Application of the object-oriented principles for hardware and embedded system design
Integration, the VLSI Journal
Trace-driven HW/SW cosimulation using virtual synchronization technique
Proceedings of the 42nd annual Design Automation Conference
System level power and performance modeling of GALS point-to-point communication interfaces
ISLPED '05 Proceedings of the 2005 international symposium on Low power electronics and design
A power estimation methodology for systemC transaction level models
CODES+ISSS '05 Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Retargetable generation of TLM bus interfaces for MP-SoC platforms
CODES+ISSS '05 Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Automatic network generation for system-on-chip communication design
CODES+ISSS '05 Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
A UML 2.0 profile for SystemC: toward high-level SoC design
Proceedings of the 5th ACM international conference on Embedded software
Teaching computer organization and architecture using SystemC
Journal of Computing Sciences in Colleges
A Systematic Approach to Exploring Embedded System Architectures at Multiple Abstraction Levels
IEEE Transactions on Computers
Enhancing Performance of HW/SW Cosimulation and Coemulation by Reducing Communication Overhead
IEEE Transactions on Computers
Using program specialization to speed SystemC fixed-point simulation
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
How to bridge the abstraction gap in system level modeling and design
Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design
VCore-based platform for SoC design
ASP-DAC '03 Proceedings of the 2003 Asia and South Pacific Design Automation Conference
System-level communication modeling for network-on-chip synthesis
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Simulation acceleration of transaction-level models for SoC with RTL sub-blocks
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
HW/SW co-verification of embedded systems using bounded model checking
GLSVLSI '06 Proceedings of the 16th ACM Great Lakes symposium on VLSI
A SystemC Refinement Methodology for Embedded Software
IEEE Design & Test
Generating finite state machines from SystemC
Proceedings of the conference on Design, automation and test in Europe: Designers' forum
Quantitative analysis of transaction level models for the AMBA bus
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Combining simulation and formal methods for system-level performance analysis
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Task-accurate performance modeling in SystemC for real-time multi-processor architectures
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Virtual prototyping of embedded platforms for wireless and multimedia
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Proceedings of the conference on Design, automation and test in Europe: Proceedings
TRAIN: a virtual transaction layer architecture for TLM-based HW/SW codesign of synthesizable MPSoC
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Structural component composition for system-level models
Formal methods and models for system design
Truly heterogeneous modeling with systemC
Formal methods and models for system design
SystemC transaction level models and RTL verification
Proceedings of the 43rd annual Design Automation Conference
A framework for embedded system specification under different models of computation in SystemC
Proceedings of the 43rd annual Design Automation Conference
A model-driven design environment for embedded systems
Proceedings of the 43rd annual Design Automation Conference
Scheduling refinement in abstract RTOS models
ACM Transactions on Embedded Computing Systems (TECS)
A new method to determine the tool count of a semiconductor factory using FabSim
WSC '04 Proceedings of the 36th conference on Winter simulation
The Challenges of Synthesizing Hardware from C-Like Languages
IEEE Design & Test
TLM/network design space exploration for networked embedded systems
CODES+ISSS '06 Proceedings of the 4th international conference on Hardware/software codesign and system synthesis
Automatic generation of transaction level models for rapid design space exploration
CODES+ISSS '06 Proceedings of the 4th international conference on Hardware/software codesign and system synthesis
Accurate yet fast modeling of real-time communication
CODES+ISSS '06 Proceedings of the 4th international conference on Hardware/software codesign and system synthesis
Modeling heterogeneous SoCs with SystemC: a digital/MEMS case study
CASES '06 Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems
On-Chip Communication Architectures: System on Chip Interconnect
On-Chip Communication Architectures: System on Chip Interconnect
Performance Evaluation of Packet Processing Architectures Using Multiclass Queuing Networks
ANSS '06 Proceedings of the 39th annual Symposium on Simulation
Formal Refinement Checking in a System-level Design Methodology
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Improvements for constraint solving in the systemc verification library
Proceedings of the 17th ACM Great Lakes symposium on VLSI
Designing communicating transaction processes by supervisory control theory
Formal Methods in System Design
Fast and accurate transaction level models using result oriented modeling
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
ASIP architecture exploration for efficient IPSec encryption: A case study
ACM Transactions on Embedded Computing Systems (TECS) - SPECIAL ISSUE SCOPES 2005
Automatic generation of embedded communication SW for heterogeneous MPSoC platforms
Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
A framework for heterogeneous specification and design of electronic embedded systems in SystemC
ACM Transactions on Design Automation of Electronic Systems (TODAES)
PeaCE: A hardware-software codesign environment for multimedia embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Timing simulation of interconnected AUTOSAR software-components
Proceedings of the conference on Design, automation and test in Europe
Modeling and simulation alternatives for the design of networked embedded systems
Proceedings of the conference on Design, automation and test in Europe
Accurate and fast system-level power modeling: An XScale-based case study
ACM Transactions on Embedded Computing Systems (TECS) - Special Section LCTES'05
Language extensions to SystemC: process control constructs
Proceedings of the 44th annual Design Automation Conference
Formal techniques for SystemC verification
Proceedings of the 44th annual Design Automation Conference
Designer-controlled generation of parallel and flexible heterogeneous MPSoC specification
Proceedings of the 44th annual Design Automation Conference
Proceedings of the 20th annual conference on Integrated circuits and systems design
Proceedings of the 20th annual conference on Integrated circuits and systems design
A consistent design methodology for wireless embedded systems
EURASIP Journal on Applied Signal Processing
A SystemC-based design methodology for digital signal processing systems
EURASIP Journal on Embedded Systems
Generation of embedded hardware/software from systemC
EURASIP Journal on Embedded Systems
A fully automated environment for verification of virtual prototypes
EURASIP Journal on Applied Signal Processing
Pointer re-coding for creating definitive MPSoC models
CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis
Stimulus generation for constrained random simulation
Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
Static elaboration of recursion for concurrent software
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Fast exploration of bus-based communication architectures at the CCATB abstraction
ACM Transactions on Embedded Computing Systems (TECS)
CHiMPS: a high-level compilation flow for hybrid CPU-FPGA architectures
Proceedings of the 16th international ACM/SIGDA symposium on Field programmable gate arrays
Dataflow Architectures for GALS
Electronic Notes in Theoretical Computer Science (ENTCS)
Accurate and fast system-level power modeling: An XScale-based case study
ACM Transactions on Embedded Computing Systems (TECS)
Automatic generation of hardware dependent software for MPSoCs from abstract system specifications
Proceedings of the 2008 Asia and South Pacific Design Automation Conference
Proceedings of the 2007 Summer Computer Simulation Conference
Proceedings of the 18th ACM Great Lakes symposium on VLSI
ESPOCO'05 Proceedings of the 4th WSEAS International Conference on Electronic, Signal Processing and Control
Exploring power reduction options for a single-chip multiprocessor through system-level modeling
Journal of Embedded Computing - Issues in embedded single-chip multicore architectures
Hardware/software partitioning and simulation with SystemC
ICECS'03 Proceedings of the 2nd WSEAS International Conference on Electronics, Control and Signal Processing
SystemCoDesigner: automatic design space exploration and rapid prototyping from behavioral models
Proceedings of the 45th annual Design Automation Conference
Specify-explore-refine (SER): from specification to implementation
Proceedings of the 45th annual Design Automation Conference
Partial order reduction for scalable testing of systemC TLM designs
Proceedings of the 45th annual Design Automation Conference
Integrating RTL IPs into TLM designs through automatic transactor generation
Proceedings of the conference on Design, automation and test in Europe
Introducing preemptive scheduling in abstract RTOS models using result oriented modeling
Proceedings of the conference on Design, automation and test in Europe
Verification of temporal properties in automotive embedded software
Proceedings of the conference on Design, automation and test in Europe
A pointcut-based assertion for high-level hardware design
Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software
Virtual Development Environment Based on SystemC for Embedded Systems
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007
Virtual Prototypes in Developing Mobile Software Applications and Devices
PROFES '08 Proceedings of the 9th international conference on Product-Focused Software Process Improvement
Validating High-Level Synthesis
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Model checking SystemC designs using timed automata
CODES+ISSS '08 Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Quantitative analysis of the speed/accuracy trade-off in transaction level modeling
ACM Transactions on Embedded Computing Systems (TECS)
Model Transformations for the Compilation of Multi-processor Systems-on-Chip
Generative and Transformational Techniques in Software Engineering II
Modelling field bus communications in mixed-signal embedded systems
EURASIP Journal on Embedded Systems - C-Based Design of Heterogeneous Embedded Systems
System-on-chip environment: a SpecC-based framework for heterogeneous MPSoC design
EURASIP Journal on Embedded Systems - C-Based Design of Heterogeneous Embedded Systems
Bridging MoCs in SystemC specifications of heterogeneous systems
EURASIP Journal on Embedded Systems - C-Based Design of Heterogeneous Embedded Systems
Observability Checking to Enhance Diagnosis of Real Time Electronic Systems
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
Processor Description Languages
Processor Description Languages
Teaching Concurrency Concepts to Freshmen
Transactions on Petri Nets and Other Models of Concurrency I
Integration, the VLSI Journal
Proceedings of the 2009 Asia and South Pacific Design Automation Conference
Proceedings of the 2009 Asia and South Pacific Design Automation Conference
A trace-based framework for verifiable GALS composition of IPs
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
A temporal language for SystemC
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
Safety shell for specification-PEARL oriented UML real-time projects
Computer Languages, Systems and Structures
Teaching skills and concepts for embedded systems design
ACM SIGBED Review
SystemC/C-based model-driven design for embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
An interactive design environment for C-based high-level synthesis of RTL processors
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Policies of System Level Pipeline Modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation
Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation
Journal of Signal Processing Systems
A mixed-level virtual prototyping environment for SystemC-based design methodology
Microelectronics Journal
Rapid-prototyping emulation system co-emulation modelling interface for systemC real-time emulation
ICS'08 Proceedings of the 12th WSEAS international conference on Systems
BRICK: a multi-context expression grained reconfigurable architecture
Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes
Functional verification of power gate design in SystemC RTL
Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes
MAGENTA: transaction-based statistical micro-architectural root-cause analysis
Proceedings of the 46th Annual Design Automation Conference
An embedded and programmable system based FPGA for real time, MPEG stream buffer analysis
IEEE Transactions on Circuits and Systems for Video Technology
Fast and accurate processor models for efficient MPSoC design
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Electronic system-level synthesis methodologies
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
System/network design-space exploration based on TLM for networked embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
HiPEAC'07 Proceedings of the 2nd international conference on High performance embedded architectures and compilers
Reactivity in systemC transaction-level models
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
A domain-oriented, model-based approach for construction and verification of railway control systems
Formal methods and hybrid real-time systems
Formalization of data flow computing and a coinductive approach to verifying flowware synthesis
Transactions on computational science I
SDL/virtual prototype co-design for rapid architectural exploration of a mobile phone platform
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Translation validation of high-level synthesis
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
SystemJ: A GALS language for system level design
Computer Languages, Systems and Structures
Automated modeling and emulation of interconnect designs for many-core chip multiprocessors
Proceedings of the 47th Design Automation Conference
A mixed-signal embedded platform for automotive sensor conditioning
EURASIP Journal on Embedded Systems - Special issue on design methodologies and innovative architectures for mixed-signal embedded systems
A network interface card architecture for I/O virtualization in embedded systems
WIOV'10 Proceedings of the 2nd conference on I/O virtualization
Design of an automotive traffic sign recognition system targeting a multi-core SoC implementation
Proceedings of the Conference on Design, Automation and Test in Europe
Proceedings of the Conference on Design, Automation and Test in Europe
Efficient high-level modeling in the networking domain
Proceedings of the Conference on Design, Automation and Test in Europe
Accurate timed RTOS model for transaction level modeling
Proceedings of the Conference on Design, Automation and Test in Europe
Analogue mixed signal simulation using Spice and SystemC
Proceedings of the Conference on Design, Automation and Test in Europe
Journal of Systems Architecture: the EUROMICRO Journal
Analysis of SystemC actor networks for efficient synthesis
ACM Transactions on Embedded Computing Systems (TECS)
Auto-pipe and the X language: a pipeline design tool and description language
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Architecture and implementation of a distributed reconfigurable metacomputer
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
A fast heuristic scheduling algorithm for periodic ConcurrenC models
Proceedings of the 2010 Asia and South Pacific Design Automation Conference
Source-level timing annotation for fast and accurate TLM computation model generation
Proceedings of the 2010 Asia and South Pacific Design Automation Conference
TLM automation for multi-core design
Proceedings of the 2010 Asia and South Pacific Design Automation Conference
Platform modeling for exploration and synthesis
Proceedings of the 2010 Asia and South Pacific Design Automation Conference
System-level development of embedded software
Proceedings of the 2010 Asia and South Pacific Design Automation Conference
Lyrebird: assigning meanings to machines
SSV'10 Proceedings of the 5th international conference on Systems software verification
Optimized temporal monitors for SystemC
RV'10 Proceedings of the First international conference on Runtime verification
Verifying security properties of internet protocol stacks: The split verification approach
Journal of Systems Architecture: the EUROMICRO Journal
Thread Warping: Dynamic and Transparent Synthesis of Thread Accelerators
ACM Transactions on Design Automation of Electronic Systems (TODAES)
EURASIP Journal on Embedded Systems
Simulation-based equivalence checking between SystemC models at different levels of abstraction
Proceedings of the 21st edition of the great lakes symposium on Great lakes symposium on VLSI
ICC'06 Proceedings of the 10th WSEAS international conference on Circuits
A monadic approach to automated reasoning for Bluespec SystemVerilog
Innovations in Systems and Software Engineering
HdSC: a fast and preemptive modeling for on host HdS development
Proceedings of the 24th symposium on Integrated circuits and systems design
A high-parallelism distributed scheduling mechanism for multi-core instruction-set simulation
Proceedings of the 48th Design Automation Conference
Proceedings of the 48th Design Automation Conference
Reactive imperative programming with dataflow constraints
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
An automatic coverage analysis for systemc using UML and aspect-oriented technology
CSCWD'04 Proceedings of the 8th international conference on Computer Supported Cooperative Work in Design I
A high performance simulator system for a multiprocessor system based on a multi-way cluster
ACSAC'06 Proceedings of the 11th Asia-Pacific conference on Advances in Computer Systems Architecture
Modeling the railway control domain rigorously with a UML 2.0 profile
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Refactoring-Based stepwise refinement in abstract system-level design
EUC'06 Proceedings of the 2006 international conference on Embedded and Ubiquitous Computing
Virtual RF system platform dedicated to heterogeneous complex SoC design
Microelectronics Journal
Synthesis of distributed processes from scenario-based specifications
FM'05 Proceedings of the 2005 international conference on Formal Methods
Standards for system level design
Proceedings of the International Conference on Computer-Aided Design
SystemQ: a queuing-based approach to architecture performance evaluation with systemc
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
A case for visualization-integrated system-level design space exploration
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
ESL Design and Verification: A Prescription for Electronic System Level Methodology
ESL Design and Verification: A Prescription for Electronic System Level Methodology
An Extended SystemC Framework for Efficient HW/SW Co-Simulation
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Automatic aspectization of systemC
Proceedings of the 2012 workshop on Modularity in Systems Software
Exploring design space using transaction level models
ACSAC'05 Proceedings of the 10th Asia-Pacific conference on Advances in Computer Systems Architecture
On the interfacing between QEMU and SystemC for virtual platform construction: Using DMA as a case
Journal of Systems Architecture: the EUROMICRO Journal
Formal Refinement Checking in a System-level Design Methodology
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Synthesis of optimized hardware transactors from abstract communication specifications
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Efficient traffic aware power management in multicore communications processors
Proceedings of the eighth ACM/IEEE symposium on Architectures for networking and communications systems
Optimized temporal monitors for SystemC
Formal Methods in System Design
metroII: A design environment for cyber-physical systems
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
A distributed timing synchronization technique for parallel multi-core instruction-set simulation
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
GALS-HMP: A heterogeneous multiprocessor for embedded applications
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
A HW/SW co-verification framework for SystemC
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
Modelling reconfigurable systems in event driven simulation
ACM SIGARCH Computer Architecture News - ACM SIGARCH Computer Architecture News/HEART '12
An axiomatic model for concept structure description and its application to circuit design
Knowledge-Based Systems
Modeling communication software execution for accurate simulation of distributed systems
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Out-of-order parallel simulation for ESL design
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
C2FPGA-A dependency-timing graph design methodology
Journal of Parallel and Distributed Computing
Automatic generation of high-speed accurate TLM models for out-of-order pipelined bus
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on ESTIMedia'10
SWSL: software synthesis for network lookup
ANCS '13 Proceedings of the ninth ACM/IEEE symposium on Architectures for networking and communications systems
Automatic refinement of requirements for verification throughout the SoC design flow
Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis
Early-phase performance exploration of embedded systems with ABSOLUT framework
Journal of Systems Architecture: the EUROMICRO Journal
ASP-based optimized mapping in a simulink-to-MPSoC design flow
Journal of Systems Architecture: the EUROMICRO Journal
A SystemC library for specifying pipeline abstractions
Microprocessors & Microsystems
| Hi-index | 0.01 |