Concepedia

Author

Jon Scholl

Battelle

Also Known As

J. Scholl, Jon Scholl

13

Publications

91

Citations

5

H-Index

7

Concepts

All Affiliations

BattelleUnited States Air Force Research Laboratory
JS

About

Jon Scholl is an author at Battelle specializing in computer architecture, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

49

2

Computer Engineering

1

1

49

3

Computer Architecture

1

1

49

4

Formal Methods

1

1

49

5

Formal Verification

1

1

49

Jon Scholl

×

2

Publications

63

Citations

2

H-Index

YearCitations

A Decomposition Workflow for Integrated Circuit Verification and Validation

Adam Kimura, Jon Scholl, James Schaffranek,

Journal of Hardware and Systems Security

2020

49

From Silicon to Simulation: A Full Decomposition of a Fabricated 130 nm Serial Peripheral Interface for Establishing an Assurance Baseline Root-of-Trust

Adam Kimura, Adam R. Waite, Jon Scholl,

2020

14

Page 1