1 × France
1 × Germany
1 × USA
A.G.Veneris S.Safarpour B.Le H.Mangassarian
debug (3) base (2) sat (2) abstract (1) verilog (1) environ (1) system (1) revers (1) modern (1) implic (1)
Person: Brian Keng
Wrote 3 papers:
- DAC-2012-KengV #abstraction #debugging #design #refinement #satisfiability
- Path directed abstraction and refinement in SAT-based design debugging (BK, AGV), pp. 947–954.
- DATE-2012-LeMKV #debugging #satisfiability #using
- Non-solution implications using reverse domination in a modern SAT-based debugging environment (BL, HM, BK, AGV), pp. 629–634.
- DATE-2011-KengSV #automation #debugging
- Automated debugging of SystemVerilog assertions (BK, SS, AGV), pp. 323–328.