High level synthesis of a Front End filter and DSP engine for analog to digital conversion - a case study.
Proceedings of the 28th IEEE VLSI Test Symposium, 2010
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation.
IEEE Trans. Software Eng., 2002
Parallel mixed-technology simulation.
Proceedings of the 14th Workshop on Parallel and Distributed Simulation, 2000
Verilog-AMS: Mixed-Signal Simulation and Cross Domain Connect Modules.
Proceedings of the 2000 IEEE/ACM International Workshop on Behavioral Modeling and Simulation, 2000
A Formal Framework for Specifying and Verifying Time Warp Optimizations.
Proceedings of the Parallel and Distributed Processing, 1999
An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol.
Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999
SEAMS: Simulation Environment for VHDL-AMS.
Proceedings of the 30th conference on Winter simulation, 1998
Optimistic Synchronization of Mixed-Mode Simulators.
Proceedings of the 12th International Parallel Processing Symposium / 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP '98), March 30, 1998
Experiences in verifying parallel simulation algorithms.
Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998
A Framework for Performance Analysis of Parallel Discrete Event Simulators.
Proceedings of the 29th conference on Winter simulation, 1997
Parallel Synchronization of Continuous Time Discrete Event Simulators.
Proceedings of the 1997 International Conference on Parallel Processing (ICPP '97), 1997
Formal Specification and Verification of the pGVT Algorithm.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996