Abstract: Symbolic simulation has been proposed as a way to formally verify the correct operation of an MOS circuit. By allowing nonground expressions as values, a symbolic simulator avoids the ...

We are a research-led school with a reputation for excellent teaching and courses with real-world impact. We are based across four sites, comprising more than 2000 students and 190 specialist staff ...