ICE-TCS Lecture Series - MohammedReza Mousavi - Formal Semantics and Model-Checking of Verilog Cell Libraries

On Tuesday, February 24th MohammadReza Mousavi (Eindhoven University of Technology, The Netherlands) will deliver an ICE-TCS seminar. The talk is entitled Formal Semantics and Model-Checking of Verilog Cell Libraries and will be held at 10:30 in room K-5 at Reykjavik University (Kringlan 1).

The abstract for the talk may be found here.