Search Results for Integrated circuits -- Computer simulation. - Narrowed by: 2010 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dIntegrated$002bcircuits$002b--$002bComputer$002bsimulation.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092010$0025092010$0026ps$003d300? 2026-02-20T13:58:25Z Circuit simulation ent://SD_ILS/0/SD_ILS:249856 2026-02-20T13:58:25Z 2026-02-20T13:58:25Z Author&#160;Najm, Farid N.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5521825">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5521825</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital system verification a combined formal methods and simulation framework ent://SD_ILS/0/SD_ILS:279164 2026-02-20T13:58:25Z 2026-02-20T13:58:25Z Author&#160;Li, Lun, 1970-&#160;Thornton, Mitchell Aaron.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440373">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440373</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>