Search Results - Hsiao, Michael S.
-
1
-
2
-
3
-
4
-
5
-
6
Automated Assertion Generation from Natural Language Specifications
Conference Proceeding -
7
-
8
-
9
-
10
-
11
A region based approach for the identification of hardware Trojans
Conference Proceeding -
12
-
13
-
14
-
15
-
16
-
17
Mining Complex Boolean Expressions for Sequential Equivalence Checking
Conference Proceeding -
18
Trusted RTL: Trojan detection methodology in pre-silicon designs
Conference Proceeding -
19
-
20