共 50 条
- [21] A formal verification method of scheduling in high-level synthesis ISQED 2006: PROCEEDINGS OF THE 7TH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, 2006, : 71 - +
- [22] Synthesis of high-level requirements models for automatic test generation EIGHTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS, 2001, : 76 - 82
- [25] AUTOMATED SYNTHESIS OF DATA PATH FROM HIGH-LEVEL BEHAVIORAL DESCRIPTION. Advances in modelling & simulation, 1988, 12 (01): : 1 - 32
- [26] An Evaluation of Burst Transfer Inferred by a High-level Synthesis Tool PROCEEDINGS OF TENCON 2018 - 2018 IEEE REGION 10 CONFERENCE, 2018, : 2131 - 2134
- [27] A high-level description method of digital IC based on dataow driven operators Wang, Xin'an, 1600, Binary Information Press (10): : 6347 - 6361
- [28] An Evaluation of Burst Transfer Inferred by a High-level Synthesis Tool IEIE Transactions on Smart Processing and Computing, 2019, 8 (02): : 143 - 149
- [29] Peacock: a Benchmarks Generation Framework for High-Level Information Fusion Evaluation 2021 IEEE 24TH INTERNATIONAL CONFERENCE ON INFORMATION FUSION (FUSION), 2021, : 628 - 635