{"subjects": ["Very large scale integration", "Computer-aided design", "Verification", "Integrated circuits", "Computer input-output equipment"], "key": "/works/OL9077996W", "title": "Introduction to Formal Hardware Verification", "authors": [{"type": {"key": "/type/author_role"}, "author": {"key": "/authors/OL3182128A"}}], "type": {"key": "/type/work"}, "covers": [6897312, 2228692], "latest_revision": 5, "revision": 5, "created": {"type": "/type/datetime", "value": "2009-12-10T23:48:07.049263"}, "last_modified": {"type": "/type/datetime", "value": "2022-02-26T19:08:30.702694"}}