Wolfgang Kunz

Recursive learning: a new implication technique for efficient solutions to CAD problems-test, verification, and optimization

Wolfgang Kunz, Dhiraj K. Pradhan · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1994 · 215 citations

Engineering, Computer Engineering, Computer Science +15

Recursive Learning: An attractive alternative to the decision tree for test generation in digital ci

Wolfgang Kunz, Dhiraj K. Pradhan · 2005 · 164 citations

Engineering, Computer Engineering, Computer Science +15

Recursive learning: a new implication technique for efficient solutions to CAD problems-test, verification, and optimization

Wolfgang Kunz, Dhiraj K. Pradhan · 2005 · 75 citations

Engineering, Computer Engineering, Computer Science +15

HANNIBAL: An efficient tool for logic verification based on recursive learning

Wolfgang Kunz · Proceedings of 1993 International Conference on Computer Aided Design (ICCAD) · 2002 · 72 citations

Engineering, Computer Engineering, Computer Science +16

Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants

Minh Duc Nguyen, Max Thalmaier, Markus Wedler et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2008 · 65 citations

Computing, Computer Engineering, Computer Science +17