MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation

Computer Security – ESORICS 2020 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59013-0_26 ◽

2020 ◽

pp. 525-545

Author(s):

Robert Küennemann ◽

Hamed Nemati

Keyword(s):

Hardware Design

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

A fluidized-bed powder sampler for inductively coupled plasma emission: hardware design, performance evaluation with geological reference materials

Spectrochimica Acta Part B Atomic Spectroscopy ◽

10.1016/0584-8547(90)80161-b ◽

1990 ◽

Vol 45 (9) ◽

pp. 997-1011 ◽

Cited By ~ 16

Author(s):

K.Nimalasiri De Silva ◽

Roger Guevremont

Keyword(s):

Performance Evaluation ◽

Fluidized Bed ◽

Reference Materials ◽

Inductively Coupled Plasma ◽

Hardware Design ◽

Plasma Emission ◽

Design Performance ◽

Inductively Coupled

Download Full-text

(System)Verilog to Chisel Translation for Faster Hardware Design

2020 International Workshop on Rapid System Prototyping (RSP) ◽

10.1109/rsp51120.2020.9244852 ◽

2020 ◽

Author(s):

Jean Bruant ◽

Pierre-Henri Horrein ◽

Olivier Muller ◽

Tristan Groleat ◽

Frederic Petrot

Keyword(s):

Hardware Design

Download Full-text