Evolving algebras 1993: Lipari guide
Specification and validation methods
Annotated bibliography on evolving algebras
Specification and validation methods
The semantics of the C++ programming language
Specification and validation methods
A formal semantics for Verilog-VHDL simulation interoperability by abstract state machine
DATE '99 Proceedings of the conference on Design, automation and test in Europe
Formal Semantics for VHDL
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation
MFCS '98 Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science
The formal execution semantics of SpecC
Proceedings of the 15th international symposium on System Synthesis
Performance modelling of a network processor using POOSL
Computer Networks: The International Journal of Computer and Telecommunications Networking - Network processors
Modeling methodology for integrated simulation of embedded systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Rapid prototyping for wireless designs: the five-ones approach
Signal Processing - From signal processing theory to implementation
SystemC
Formal hardware specification languages for protocol compliance verification
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Formal Semantics of Synchronous SystemC
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
A Framework for Component-based Construction Extended Abstract
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Model-driven validation of SystemC designs
Proceedings of the 44th annual Design Automation Conference
Formal techniques for SystemC verification
Proceedings of the 44th annual Design Automation Conference
Hardware/software partitioning and simulation with SystemC
ICECS'03 Proceedings of the 2nd WSEAS International Conference on Electronics, Control and Signal Processing
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS
FM '08 Proceedings of the 15th international symposium on Formal Methods
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
Model-driven validation of SystemC designs
EURASIP Journal on Embedded Systems - C-Based Design of Heterogeneous Embedded Systems
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Race analysis for systemc using model checking
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A systemC/TLM semantics in PROMELA and its possible applications
Proceedings of the 14th international SPIN conference on Model checking software
Sysfier: Actor-based formal verification of SystemC
ACM Transactions on Embedded Computing Systems (TECS)
Denotational approach to an event-driven system-level language
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Generating denotational semantics from algebraic semantics for event-driven system-level language
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
A monadic approach to automated reasoning for Bluespec SystemVerilog
Innovations in Systems and Software Engineering
SystemC waiting state automata
International Journal of Critical Computer-Based Systems
Building SystemC waiting state automata
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication 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
| Hi-index | 0.01 |