Mixed-Signal System Verification: A High-Speed Link Example
Abstract elided by the publisher.
Related papers
- Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems CAV 2024
- Compiler verification meets cross-language linking via data abstraction OOPSLA 2014
- Scripted signal functions Haskell 2020
- Implicit-signal monitors TOPLAS 2005
- MixT: a language for mixing consistency in geodistributed transactions PLDI 2018
- Prefetch inection based on hardware monitoring and object metadata PLDI 2004
- Mixing source and bytecode: a case for compilation by normalization OOPSLA 2008
- Guided linking: dynamic linking without the costs OOPSLA 2020