2019 Formal Methods in Computer Aided Design (FMCAD) 

 -  IEEE  2019 
<br/><br/> Proceeding 
<br/><br/><label>ISSN: </label>978-0-9835678-9-9 978-1-7281-4089-6 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Circuits<br/>Communication<br/>Components<br/>Computing and Processing<br/>Devices and Systems<br/>Networking and Broadcast Technologies<br/>Robotics and Control Systems<br/>Signal Processing and Analysis