Combinational equivalence checking through function transformation
Kwak, Hee Hwan, Moon, In-Ho, Kukula, James H., Shiple, Thomas R.
Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (10.11.2002)
Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (10.11.2002)
Get full text
Conference Proceeding
Handling special constructs in symbolic simulation
Kolbl, A., Kukula, J., Antreich, K., Damiano, R.
Published in Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324) (2002)
Published in Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324) (2002)
Get full text
Conference Proceeding
Using counter example guided abstraction refinement to find complex bugs
Bjesse, P., Kukula, J.
Published in Proceedings Design, Automation and Test in Europe Conference and Exhibition (2004)
Published in Proceedings Design, Automation and Test in Europe Conference and Exhibition (2004)
Get full text
Conference Proceeding
Symbolic RTL simulation
Kölbl, Alferd, Kukula, James, Damiano, Robert
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation (01.01.2001)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation (01.01.2001)
Get full text
Conference Proceeding
Formal property verification by abstraction refinement with formal, simulation and hybrid engines
Wang, Dong, Jiang, Pei-Hsin, Kukula, James, Zhu, Yunshan, Ma, Tony, Damiano, Robert
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation (01.01.2001)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation (01.01.2001)
Get full text
Conference Proceeding
Handling special constructs in symbolic simulation
Kölbi, Alfred, Kukula, James, Antreich, Kurt, Damiano, Robert
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 39th conference on Design automation : New Orleans, Louisiana, USA; 10-14 June 2002 (10.06.2002)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 39th conference on Design automation : New Orleans, Louisiana, USA; 10-14 June 2002 (10.06.2002)
Get full text
Conference Proceeding
Checking satisfiability of a conjunction of BDDs
Damiano, Robert, Kukula, James
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 40th conference on Design automation; 02-06 June 2003 (02.06.2003)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 40th conference on Design automation; 02-06 June 2003 (02.06.2003)
Get full text
Conference Proceeding
Using Counter Example Guided Abstraction Refinement to Find Complex Bugs
Bjesse, Per, Kukula, James
Published in Proceedings of the conference on Design, automation and test in Europe - Volume 1 (16.02.2004)
Published in Proceedings of the conference on Design, automation and test in Europe - Volume 1 (16.02.2004)
Get full text
Conference Proceeding