BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × USA
Collaborated with:
A.G.Veneris S.Safarpour B.Le H.Mangassarian
Talks about:
debug (3) base (2) sat (2) abstract (1) verilog (1) environ (1) system (1) revers (1) modern (1) implic (1)

Person: Brian Keng

DBLP DBLP: Keng:Brian

Contributed to:

DAC 20122012
DATE 20122012
DATE 20112011

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.