Verification of structure and behaviour in VLSI circuits using logic programming
Author(s)
Papaspyridis, Alexander
Type
Thesis
Version
Open Access
Date Issued
1989
Date Awarded
1989
Copyright Statement
Attribution NoDerivatives 4.0 International Licence (CC BY-ND)
Creator
Papaspyridis, Alexander
Publisher Department
Department of Electrical Engineering
Publisher Institution
Imperial College London
Qualification Level
Doctoral
Qualification Name
PhD