Pre-Charge Half Buffers
Channel: Broccoli, LLC
Date: 07/06/2023

This lecture focuses on the isochronic fork in Pre-Charge Half Buffers. The isochronic fork assumption is introduced, such that if a gate does not acknowledge an input transition, then that transition is assumed to reach that gate before it is invalidated due to another cycle, avoiding glitches. Production rules for the Pre-Charge Half Buffer are derived by modifying the Weak Condition Half Buffer to allow the output request to be reset before the input request. Finally, this lecture presents an example of building a Pre-Charge Half Buffer, including the derivation of reset signals.