Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Daniel Grosse
Proving Transaction and System-Level Properties of Untimed SystemC TLM Designs
TLM Protocol Compliance Checking at the Electronic System Level
Fast Exact Toffoli Network Synthesis of Reversible Logic
Related publications
Rigorous Communication Modelling at Transaction Level With Systemc
Modelling Smart Card Security Protocols in SystemC TLM
TLM Platform Based on SystemC for Hybrid MSR Topology
International Journal of Computer Science Issues
Exploiting TLM and Object Introspection for System-Level Simulation
Concurrency-Oriented Verification and Coverage of System-Level Designs
ACM Transactions on Design Automation of Electronic Systems
Computer Science Applications
Electronic Engineering
Computer Graphics
Electrical
Computer-Aided Design
Early Power Estimation in Heterogeneous Designs Using SoCLib and SystemC-AMS
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Monitoring Temporal SystemC Properties
Efficient Simulation of Synthesis-Oriented System Level Designs