MAVERIC was a research group involving faculty and students from the
Department of Computer Science and the
Department of Electrical and Computer Engineering
at the
University of Waterloo, and from the
Department of Computer Science at the
University of Western Ontario.
In 2001 the two remaining members of the Maveric Group joined
WATFORM,
the Waterloo Formal Methods Group, which you are invited to visit.
For further details please see the
History of MAVERIC.
"MAVERIC" can be interpreted as an acronym for "Models and
Algorithms for Synthesis, VERification, and Testing of
Integrated Circuits".
History of MAVERIC
Brief project description
Members and alumni
Visitors
Publications