Bahram N. Uchevler

According to our database, Bahram N. Uchevler authored at least 5 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

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

Bahram N. Uchevler, Kjetil Svarstad

Int. J. Reconfigurable Comput., 2018

2013

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

Bahram N. Uchevler, Kjetil Svarstad, Jan Kuper, Christiaan Baaij

Proceedings of the International Symposium on Quality Electronic Design, 2013

Synthesizable assertion checkers in high levels of abstraction.

Bahram N. Uchevler, Kjetil Svarstad

Proceedings of the 20th IEEE International Conference on Electronics, 2013

Assertion based verification using PSL-like properties in Haskell.

Bahram N. Uchevler, Kjetil Svarstad

Proceedings of the 16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2013

2012

Modeling of dynamic reconfigurable systems with Haskell.

Bahram N. Uchevler, Kjetil Svarstad

Proceedings of the 22nd International Conference on Field Programmable Logic and Applications (FPL), 2012