共 50 条
- [31] An Open-Source Framework for Formal Specification and Simulation of Electrical Energy Systems PROCEEDINGS OF THE 2014 IEEE/ACM INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN (ISLPED), 2014, : 287 - 290
- [40] An Open-Source Verification Framework for Open-Source Cores: A RISC-V Case Study PROCEEDINGS OF THE 2018 26TH IFIP/IEEE INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION (VLSI-SOC), 2018, : 43 - 48