onchip (@onchipuis) 's Twitter Profile
onchip

@onchipuis

Research group on integrated systems. Itsy-chipsy becoming a reality for 65nm, 130nm and 180nm. Keep tuned.

ID: 761539625643024384

calendar_today05-08-2016 12:29:30

401 Tweet

2,2K Takipçi

136 Takip Edilen

onchip (@onchipuis) 's Twitter Profile Photo
onchip
@onchipuis

5 years ago

Detecting bugs and spec absences --> Simulation and Formal: The Best of Both Domains for Instruction Set Verification of RISC-V Based Processors. We'd appreciate any feedback: onchip.uis.edu.co/pdfs/fs_p.pdf Thanks Symbiotic EDA Zip CPU for formal training

Detecting bugs and spec absences --&gt; Simulation and Formal: The Best of Both Domains for Instruction Set Verification of RISC-V Based Processors. We'd appreciate any feedback: onchip.uis.edu.co/pdfs/fs_p.pdf Thanks <a href="/symbiotic_eda/">Symbiotic EDA</a> <a href="/zipcpu/">Zip CPU</a> for formal training