• 1
• 0
• 0

googletest

google test框架

• 1
• 0
• 0

abc

C++

• 1
• 0
• 0

LSOracle

C++

The Logic Synthesis oracle is a framework developed on the top of EPFL logic synthesis libraries to unlock efficient logic manipulation by using di...

• 1
• 0
• 0

OpenDB

C++