2 ms·
Just saw your line about HW verification. That was my last project. Mostly done with it. I came up with a few ways to do it but you always need or leak source.
by nickpsecurity 10y ago
Just saw your line about HW verification. That was my last project. Mostly done with it. I came up with a few ways to do it but you always need or leak source. No way to do it with gates only so far. There's potential but I wouldnt trust it. The standard cells will take mutually-suspicious parties reviewing by eye with expertise in analog and RF.
Email me and I'll send you some stuff. Summaries first then anywhere from a few to a pile of papers with specifics.
- Cyph0n 10y agoInteresting! Thanks, that would be really helpful! I'll email you today. I was thinking of somehow combining a form of signature computation at each level (layout, schematic, RTL) with some low-overhead logic sprinkled throughout the circuit. The issue is mainly how and where to place the logic, but I'm hoping to get some ideas as I read through prior work.