Digital Logic Circuits
Learn how digital circuits select inputs, store state and move data through concepts and hands-on RTL examples.
Qué aprenderás
- Explain combinational circuits using binary numbers, gates and Boolean algebra
- Calculate adder, comparator and signed arithmetic boundary cases
- Implement a MUX, counter and shift register and compare waveforms
- Complete a small design using state machines, timing constraints and a verification plan
Antes de empezar
Lee los conceptos en el navegador. Para las prácticas, prepara un proyecto Desktop de Digital Design Studio y los permisos de ejecución. Se incluyen código y entradas.
Instalación y primer inicio ↗Programa
- Foundations of digital logic
- Binary and hexadecimalConcepto
Represent the same value in binary and hexadecimal.
- Gates and truth tablesConcepto
Compare the output rules of AND, OR, NOT and XOR.
- Boolean algebra and De Morgan’s lawsConcepto
Check whether different expressions produce the same output.
- Decoders and enable signalsConcepto
Turn a binary address into one active output.
- Signals and selection
- Bits, signals and portsConcepto
Identify inputs, outputs and the meaning of one-bit values.
- Specify the selection with a truth tableConcepto
List every input combination and define its expected output.
- The MUX and its observation registerConcepto
Distinguish a combinational output from a sampled output.
- Write and run the RTL
- Describe a MUX with a conditional expressionConcepto
Connect the select signal and data inputs in RTL.
- MUX simulation labPráctica
Compare outputs using the provided source and input files.
- Interpret and check
- Input changes and sampling instantsConcepto
Track y and sampled_y before and after a clock edge.
- Test the cases that reveal mistakesConcepto
Choose cases that reveal reversed selection and sampling errors.
- MUX knowledge checkEvaluación
Check your understanding of selection and storage.
- Arithmetic circuits and state
- Half adders and full addersConcepto
Compute sum and carry separately, then chain them.
- Signed values and overflowConcepto
Interpret the same bits as unsigned and two’s complement.
- Comparators and boundary conditionsConcepto
Connect equality and magnitude comparisons to boundary tests.
- Flip-flops and clock enableConcepto
Specify the priority of reset, enable and hold.
- Numbers and time
- Bit width and binary valuesConcepto
Read the values and bit positions of a two-bit number.
- Clock edges and stateConcepto
Separate input changes from register updates.
- The counter and synchronous resetConcepto
Compute the next state from the previous state.
- Update state and run the lab
- Compute the next value from the old valueConcepto
Read nonblocking assignments and reset priority in the code.
- Counter simulation labPráctica
Observe incrementing and wraparound after reset.
- Boundaries and debugging
- What follows the maximum value?Concepto
Calculate addition beyond the register width.
- Diagnose reset and counting errorsConcepto
Check the initial value, reset and first edge in order.
- Counter knowledge checkEvaluación
Check bit width and wraparound behavior.
- Bits and data flow
- Vector direction and bit indicesConcepto
Read q[2:0] and identify the positions selected by a slice.
- Read a serial input over timeConcepto
Organize a stream of one-bit inputs into a timeline.
- State changes in a shift registerConcepto
Move the previous bits and insert the new input.
- Concatenation and the lab
- Slices and concatenationConcepto
Trace how concatenated bits map into the new register.
- Shift-register simulation labPráctica
Trace the serial input alongside q.
- Latency and debugging
- Follow a bit to the outputConcepto
Count the edges as one input bit moves through the stages.
- Check direction, reset and input orderConcepto
Use a single-bit pattern to expose reversed connections.
- Shift-register knowledge checkEvaluación
Compute the next state using the pre-update value.
- Connect and verify circuits
- Combinational delay and timing budgetsConcepto
Distinguish functional simulation from timing verification.
- Design a small state machineConcepto
Describe state, input and next state in a transition table.
- Verification plans and failure tracesConcepto
Define expected results for normal, boundary and reset cases.
- Capstone: serial pattern detectorConcepto
Design and check a state machine that detects the pattern 101.