IEEE Transactions on Very Large Scale Integration (VLSI) Systems - Special section on system-level interconnect prediction (SLIP)
Reasoning about synchronization in GALS systems
Formal Methods in System Design
Synthesis of synchronous elastic architectures
Proceedings of the 43rd annual Design Automation Conference
Time separations of cyclic event rule systems with min-max timing constraints
Theoretical Computer Science
Hi-index | 0.00 |