Dynamic logic is a design methodology used in combinational logic circuits, which uses temporary storage of information in stray and gate capacitances. It is faster than static counterparts and requires less surface area, but is more difficult to design. It is distinguished from static logic by the use of a clock signal and dynamic state storage via voltages on capacitances.
Carnegie Mellon University
Spring 2022
This course is about software verification, with the goal of writing bug-free code. Students will learn to formalize program correctness, write verified code, and use automated tools for verification. It explores the principles behind verification tools, logical specifications, and deductive reasoning. Previous knowledge in program correctness reasoning is beneficial.
No concepts data
+ 22 more concepts