- Title
- Experiences of Designing a STA Engine in the PATMOS STA Contest
- Creators - without role
- Tien-Yu KuoYu-Yi LiangShao-Huan WangWai-Kei Mak - 國立清華大學電機資訊學院資訊工程學系
- Publication Details
- Proceedings of ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, 2012
- Identifiers
- 9957775625006774
- Academic Unit
- Department of Computer Science, College of Electrical Engineering and Computer Science, National Tsing Hua University
- Language
- Traditional Chinese
- Resource Type
- Conference paper
Conference paper
Experiences of Designing a STA Engine in the PATMOS STA Contest
Proceedings of ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, 2012
2012
Related links
Metrics
1 Record Views