About
Technology
Issues
FAQ
Search
filter by year
2022 (1)
2021 (3)
2020 (1)
2010-2019 (14)
2000-2009 (5)
1990-1999 (4)
1970-1979 (8)
Similar Keywords
register transfer (56)
1-20 of (56 documents found)
2017
12
Guest Editorial Securing IoT Hardware: Threat Models and Reliable, Low-Power Design Solutions
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
(
3.1
★★★
), 25, 3265-3267.
Cite
Citations
Matthew Li (80, 6.9K)
2018
6
Leakage Models for High-Level Power Estimation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
(
2.7
★★★
), 37, 1627-1639.
Cite
Citations
Matthew Li (80, 6.9K)
2020
0
An Academic Approach to FPGA Design Based on a Distance Meter Circuit
Revista Iberoamericana De Tecnologias Del Aprendizaje
(
0.9
★★★
), 15, 123-128.
Cite
Citations
Matthew Li (80, 6.9K)
2013
3
Comparison of Three Smart Camera Architectures for Real-Time Machine Vision System
International Journal of Advanced Robotic Systems
(
2.1
★★★
), 10, 402.
Cite
Citations
Matthew Li (80, 6.9K)
2012
1
Global Signal Vulnerability (GSV) Analysis for Selective State Element Hardening in Modern Microprocessors
IEEE Transactions on Computers
(
3.4
★★★
), 61, 1361-1370.
Cite
Citations
Matthew Li (80, 6.9K)
2010
4
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques
ACM Transactions on Design Automation of Electronic Systems
(
2.6
★★★
), 15, 1-34.
Cite
Citations
Matthew Li (80, 6.9K)
2009
13
RT-Level Deviation-Based Grading of Functional Test Sequences
Matthew Li (80, 6.9K)
2004
0
On High-Quality, Low Energy Built-In Self Test Preparation at RT-Level
Journal of Electronic Testing: Theory and Applications (JETTA)
(
1.2
★★★
), 20, 345-355.
Cite
Citations
Matthew Li (80, 6.9K)
2011
0
Towards Robustness Analysis Using PVS
Lecture Notes in Computer Science
(
1.3
★★★
), , 71-86.
Cite
Citations
Matthew Li (80, 6.9K)
2021
3
Malicious Routing: Circumventing Bitstream-level Verification for FPGAs
Matthew Li (80, 6.9K)
2021
1
A Benchmark Suite of RT-level Hardware Trojans for Pipelined Microprocessor Cores
Matthew Li (80, 6.9K)
2021
0
Hardware Trojans in Reconfigurable Computing
Matthew Li (80, 6.9K)
2013
0
Diagnostic Modeling of Digital Systems with Multi-Level Decision Diagrams
Matthew Li (80, 6.9K)
2010
10
Workload-driven selective hardening of control state elements in modern microprocessors
Matthew Li (80, 6.9K)
2018
1
Obfuscation of Fault Secured DSP Design Through Hybrid Transformation
Matthew Li (80, 6.9K)
2018
1
Efficient Fault Injection for Embedded Systems: As Fast as Possible but as Accurate as Necessary
Matthew Li (80, 6.9K)
2016
2
Fault-effect analysis on system-level hardware modeling using virtual prototypes
Matthew Li (80, 6.9K)
2014
0
Energy-aware system design compiler methods for multiprocessors and Voltage Scaling/frequency
Matthew Li (80, 6.9K)
2012
0
Real-time machine vision system using FPGA and soft-core processor
Matthew Li (80, 6.9K)
2005
7
RTL fault modeling
Matthew Li (80, 6.9K)
1
2
3
site/software ©
exaly
; All materials licenced under
CC by-SA
.