Leveraging applications of formal methods, verification, and validation fromLecture Notes in Computer Science 0 Type: Book
Integrated circuit and system design: power and timing modeling, optimization, and simu… by PATMOS, Madrid fromLecture Notes in Computer Science 0 Type: Book