Concepedia

K. Thompson

KT

Statistics

Publications

1

Citations

21

H-Index

1

Active since

1979

Affiliations

United States Department of Defense(Current)

K. Thompson is an author at United States Department of Defense specializing in formal verification, verification, and hardware security.

Top concepts

EngineeringVlsi DesignVerificationCircuit DesignFormal MethodsComputer ScienceHardware SecurityFormal VerificationComputer EngineeringComputer Architecture

Publications per year

1979–1979

1

Publications

1

Topological Analysis for VLSI Circuits

P. Losleben, K. Thompson · 1979 · 21 citations

Engineering, Vlsi Design, Verification +16

1–1 of 1