University of Oulu

Use cases for formal verification in SoC design

Saved in:
Author: Alasaarela, Arttu1
Organizations: 1University of Oulu, Faculty of Information Technology and Electrical Engineering, Electrical Engineering
Format: ebook
Version: published version
Access: restricted
  Theses with restricted access are only available for reading on the e-thesis workstations.
Pages: 15
Persistent link: http://urn.fi/URN:NBN:fi:oulu-202212213862
Language: English
Published: Oulu : A. Alasaarela, 2022
Publish Date: 2022-12-21
Thesis type: Bachelor's thesis
Tutor: Lahti, Jukka
Subjects:
Copyright information: © Arttu Alasaarela, 2022. This publication is copyrighted. You may download, display and print it for your own personal use. Commercial use is prohibited.