Trustworthy Hardware Design with Logic Locking

Mapping Intimacies ◽

10.1109/vlsi-soc53125.2021.9606998 ◽

2021 ◽

Author(s):

Dominik Sisejkovic ◽

Rainer Leupers

Keyword(s):

Hardware Design ◽

Logic Locking

Download Full-text

Trustworthy Hardware Design: Combinational Logic Locking Techniques

10.1007/978-3-030-15334-2 ◽

2020 ◽

Author(s):

Muhammad Yasin ◽

Jeyavijayan Rajendran ◽

Ozgur Sinanoglu

Keyword(s):

Hardware Design ◽

Combinational Logic ◽

Logic Locking

Download Full-text

A Particle Swarm Optimization Guided Approximate Key Search Attack on Logic Locking in The Absence of Scan Access

2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) ◽

10.23919/date48585.2020.9116259 ◽

2020 ◽

Author(s):

Rajit Karmakar ◽

Santanu Chattopadhyay

Keyword(s):

Particle Swarm Optimization ◽

Particle Swarm ◽

Swarm Optimization ◽

Logic Locking

Download Full-text

VLSI Based Low Power Hardware Design Using Distributed Arithmetic (DA) Centered 2d Adam7 Transform For The Proposed Image Compression Algorithm

i-manager’s Journal on Embedded Systems ◽

10.26634/jes.2.2.2374 ◽

2013 ◽

Vol 2 (2) ◽

pp. 31-37

Author(s):

L. Vignesh ◽

◽

C. N. Marimuthu ◽

J. Joseph Lynn ◽

◽

...

Keyword(s):

Image Compression ◽

Low Power ◽

Hardware Design ◽

Compression Algorithm ◽

Distributed Arithmetic ◽

Image Compression Algorithm

Download Full-text

Standard for SystemVerilog. Unified hardware design, specification and verification language

10.3403/30167898u ◽

2015 ◽

Keyword(s):

Hardware Design ◽

Design Specification ◽

Specification And Verification

Download Full-text

Nuclear power plants. Instrumentation and control important to safety. Hardware design requirements for computer-based systems

10.3403/30186286 ◽

2009 ◽

Keyword(s):

Nuclear Power ◽

Power Plants ◽

Nuclear Power Plants ◽

Hardware Design ◽

Computer Based ◽

Design Requirements ◽

And Control

Download Full-text

Nuclear power plants. Instrumentation and control important to safety. Hardware design requirements for computer-based systems

10.3403/30299629 ◽

2015 ◽

Keyword(s):

Nuclear Power ◽

Power Plants ◽

Nuclear Power Plants ◽

Hardware Design ◽

Computer Based ◽

Design Requirements ◽

And Control

Download Full-text

A Federal Approach to Formal Hardware Design Verification

10.21236/ada400999 ◽

2002 ◽

Author(s):

David L. Dill

Keyword(s):

Hardware Design ◽

Design Verification

Download Full-text

Secure Hardware Design for Trust

10.21236/ada566362 ◽

2012 ◽

Author(s):

Youngok Pino ◽

Garrett S. Rose

Keyword(s):

Hardware Design ◽

Secure Hardware

Download Full-text

Practical Formal Methods for Hardware Design

10.1007/978-3-642-60641-0 ◽

1997 ◽

Cited By ~ 2

Keyword(s):

Formal Methods ◽

Hardware Design

Download Full-text

Hardware design issues and functional requirements for smart wristband monitor of silent atrial fibrillation

2017 MIXDES - 24th International Conference "Mixed Design of Integrated Circuits and Systems ◽

10.23919/mixdes.2017.8005283 ◽

2017 ◽

Cited By ~ 3

Author(s):

Dawid Roj ◽

Janusz Wrobel ◽

Adam Matonia ◽

Ewelina Sobotnicka

Keyword(s):

Atrial Fibrillation ◽

Hardware Design ◽

Functional Requirements ◽

Design Issues

Download Full-text