Author:
Chatterjee Satrajit,Kishinevsky Michael,Ogras Umit Y.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. High-level Modeling and Verification Platform for Elastic Circuits with Process Variation Considerations;ACM Journal on Emerging Technologies in Computing Systems;2022-10-13
2. Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms;Lecture Notes in Computer Science;2022
3. Accelerating NoC Verification Using a Complete Model and Active Window;IEEE Access;2022
4. Executable Micro-Architecture Modeling and Automatic Verification of EtherCAT;2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI);2018-10
5. A Tool for xMAS-Based Modeling and Analysis of Communication Fabrics in Simulink;ACM Transactions on Modeling and Computer Simulation;2017-07-31