Bahram N. Uchevler

System-level modelling of dynamic reconfigurable designs using functional programming abstractions

Jan Kuper, Bahram N. Uchevler, Kjetil Svarstad, 2013, International Symposium on Quality Electronic Design (ISQED).

Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions

Bahram N. Uchevler, Kjetil Svarstad, 2018, Int. J. Reconfigurable Comput..

Assertion based verification using PSL-like properties in Haskell

Bahram N. Uchevler, Kjetil Svarstad, 2013, 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS).

Synthesizable assertion checkers in high levels of abstraction

Bahram N. Uchevler, Kjetil Svarstad, 2013, 2013 IEEE 20th International Conference on Electronics, Circuits, and Systems (ICECS).

Modeling of dynamic reconfigurable systems with Haskell

Bahram N. Uchevler, Kjetil Svarstad, 2012, 22nd International Conference on Field Programmable Logic and Applications (FPL).

International Symposium on Quality Electronic Design, ISQED 2013, Santa Clara, CA, USA, March 4-6, 2013

Hidehiro Fujiwara, Koji Nii, Houman Homayoun, 2013, ISQED.