2 Patents
- US124752872025Equivalence Checking of Synthesized Logic Designs Using Generated Synthesis History
International Business Machines Corporation
0 cites - US117408722023Detection of Unintended Dependencies in Hardware Designs with Pseudo-random Number Generators
International Business Machines Corporation
0 cites