Simulation Approach to Provably Correct Hardware Compilation
Authors:
He Jifeng;Zheng Jianping
Affiliations:
-;-
Venue:
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems