Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

integrated circuit design

biblio

Towards the formal verification of security properties of a Network-on-Chip router

Submitted by grigby1 on Fri, 05/15/2020 - 12:29pm

biblio

Security Network On-Chip for Mitigating Side-Channel Attacks

Submitted by aekwall on Mon, 05/11/2020 - 11:08am

biblio

Application Specific Integrated Gate-Drive Circuit for Driving Self-Oscillating Gallium Nitride Logic-Level Power Transistors

Submitted by grigby1 on Fri, 04/24/2020 - 4:08pm

biblio

Resilient Reorder Buffer Design for Network-on-Chip

Submitted by grigby1 on Fri, 03/27/2020 - 11:27am

biblio

Hardware Trojans Detection at Register Transfer Level Based on Machine Learning

Submitted by grigby1 on Wed, 02/26/2020 - 4:37pm

biblio

ArtiFact: Architecture and CAD Flow for Efficient Formal Verification of SoC Security Policies

Submitted by aekwall on Tue, 10/22/2019 - 9:54am

Terms of Use | ©2023. CPS-VO