Back to results
Portland State University
Formal Modeling and Verification of Delay-Insensitive Circuits
Degree
thesis:*- Name thesis:degree_name
- Doctor of Philosophy (Ph.D.) in Electrical and Computer Engineering
- Level thesis:degree_level
- Dissertation
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Park, Hoon
- Contributors dc:contributor
-
- Xiaoyu Song
Subjects
dc:subject × 4Identifiers
dc:identifier.*- Repository record dc:identifier
- https://pdxscholar.library.pdx.edu/open_access_etds/2639
- OAI identifier oai:identifier
- oai:pdxscholar.library.pdx.edu:open_access_etds-3644