Harry HsiehBooksSynchronous EquivalenceSynchronous equivalenceHardware-software co-design of embedded systemsAuthor data: Open Library