共 50 条
- [1] A hardware implementation of speaker verification using support vector machine [J]. SAM '04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND MANAGEMENT, 2004, : 353 - 358
- [2] Implementation of a Hardware Functional Verification System using SystemC Infrastructure [J]. TENCON 2009 - 2009 IEEE REGION 10 CONFERENCE, VOLS 1-4, 2009, : 2420 - 2424
- [3] Hardware Implementation of ADABOOST ALGORITHM and Verification [J]. 2008 22ND INTERNATIONAL WORKSHOPS ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOLS 1-3, 2008, : 343 - 346
- [6] SAT-based verification methods and applications in hardware verification [J]. FORMAL METHODS FOR HARDWARE VERIFICATION, 2006, 3965 : 108 - 143
- [7] Hardware/Software Formal Co-Verification using Hardware Verification Techniques [J]. 2012 FOURTH INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE), 2012, : 465 - 470
- [8] A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods [J]. 2014 IEEE INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, 2014 IEEE 6TH INTL SYMP ON CYBERSPACE SAFETY AND SECURITY, 2014 IEEE 11TH INTL CONF ON EMBEDDED SOFTWARE AND SYST (HPCC,CSS,ICESS), 2014, : 729 - 734
- [9] Algorithms for logical control: Their description, verification and hardware implementation [J]. PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 712 - 718