Notes

  • Clubs
    • Longhorn Racing Electric
      • Circuits
        • 2025 BSPD
      • Over the Air (OTA) Updates
        • Flashing Firmware Locally
      • Torque Vectoring
        • Four Wheel Torque Vectoring Guide
      • Vehicle Localization and Navigation
        • Kalman Filtering
          • Extended Kalman Filter
          • Process Covariance Matrix
          • Vehicle State Jacobian
        • Dead Reckoning
        • Equations to Implement
        • Kalman Filter
        • To Learn
        • Vehicle Coordinate Systems
      • 2024 2025 Architecture Proposal
      • Angelique LV Architecture
      • todo or smth idk
  • Courses
    • Chemistry
      • Bonding
    • Math
      • Linear Algebra and Matrices
        • Jacobian Matrices
        • Matrix Multiplication
        • Rotation Matrices
  • Projects
    • Search Engine
      • Rust Based Search Engine
    • Speaker
      • DIY High Fidelity (HiFi) Speaker Design
  • Semesters
    • Fall 2023 Semester
      • CS 311 Discrete Math
        • Definitions
          • Proofs
          • Sets
          • Definitions
          • Forward and Backward Reasoning
          • Theorems
        • L01
          • Basic Equivalences
          • Boolean and Propositional Logic
          • Discrete Math Terminology
          • Logical operators
          • Precedence of Logical Operators (PEMDAS for Logical Operators)
          • Proofs Using Basic Equivalences
          • Proofs Using Truth Tables
          • Truth Tables
        • L02
          • Equivalence Style Proofs
          • Proofs Using Rules of Inferences (Natural Deduction Proofs)
          • Rules of Inference
          • Well Formed Formulae
        • Composition of Functions
        • CS 311 (Discrete Math) Links
        • Homework 1
        • Natural Deduction Proofs)](Proofs Using Rules of Inferences (Natural Deduction Proofs
        • Note Sheet Quiz 4 (Proofs)
        • Notes
        • What is a Proof
        • What is Discrete Math
      • CS 314
        • CS 314 links
      • ECO 304K
        • ECO 304K Links
        • Foundations of Economics
        • Model Building & Gains from Trade
      • M 408D
        • Improper Integrals
        • Integration by Parts Review
        • Limit Theorem Shown in Class
        • M 408D Links
        • Product, Quotient, & Chain Rule Review
        • Sequences
        • Trig Substitution
      • UGS 303
        • Drug Interactions Report
        • Requirements
        • UGS 303 Links
      • Course Links
      • Courses
      • Structural Induction
    • Fall 2024 Semester
      • CS 439 Principles of Computing Systems
        • File Systems and Storage
          • Disks
          • Flat File Systems
          • Naming
        • Memory Management
          • History of Memory Management
          • Memory Management
          • Page Tables
          • Paging
          • Platforms and Devices
          • The Storage Hierarchy
          • Virtual Addresses
        • Synchronization
          • Monitors
          • Problems with Concurrency
          • Semaphores
          • Synchronization & Implementation Issues
        • Introduction to Computing Systems
        • Process Abstraction
        • Threads
      • M 340L Matrices and Matrix Calculations
        • Vectors
    • Spring 2024 Semester
      • CS 429 Computer Organization and Architecture
        • Architectures
          • AArch64 (ARM) State and Programming Model
          • Instruction Set Architectures
          • Specifying Operands and Results
        • Caching
          • Cache Performance
          • Intro to Caching
          • Locality of Reference
          • Writing Cache Friendly Code
        • Code Generation
          • Linking
            • Object Modules and Linking
            • Static Linking Symbol Resolution
          • Code Generation for Switch Statements
          • Introduction to Code Generation
          • Introduction to Procedure Calls
        • Data Types
          • Arrays
          • Characters
          • Floating Point Numbers
          • Interpreting Bits
          • Objects and Names
          • Structs
          • Unicode
          • Unions or Variant Records
        • Hardware
          • Classes to Take
          • Clocks
          • Digital Design and Logic Gates
          • Hard Disk Drives (HDDs)
          • Main Memory
          • Memory and IO Buses
        • In order Pipelining
          • SEQ
            • A Single Cycle implementation of chARM v2
            • Data and Control Paths
            • Timing and Performance
          • Intro to Pipelining
          • Pipeline Control Unit (PCU)
          • Pipeline Hazards
          • The Pipe Implementation
        • Bits and Bit Technologies
        • C vs. Java
        • Data Alignment
        • Dynamic Memory Management
        • Integer Arithmetic
        • Manipulating Integer Representations
        • Operations on Representations
        • Pointer Arithmetic
        • Pointers
        • Special Notation
        • Toolchain
        • Value Sets
      • ECO 329 Economic Statistics
        • Economic Data Sampling
          • Types of Economic Data
        • Probability
      • Statistics and Probability
        • Counting Methods
          • Partitions and Multinomial Coefficients
          • Permutations and Combinations
          • Product Rule
          • Sum Rule
        • Baye's Theorem
        • Conditional Probability
        • Descriptive Statistics and Data Visualization
        • Functions
        • Independence
        • Linear Transformations and Combinations
        • Mean and Variance
        • Overview, Definitions, and Axioms of Probability
        • Population Sampling
        • Probability Distributions
        • Probability Notation
        • Probability Tables
        • Quantiles
        • Sample Correlation
        • Successive Conditioning
        • Test Cheat Sheet
        • Total Probability Theorem
        • Variables
        • Visualizing Methods
    • Spring 2025 Semester
      • CS 350C Advanced Computer Architecture
        • Communication
          • Networks on Chip
        • Computer Security
          • RowHammer
          • Side Channel Attacks
        • Data Level Parallelism
          • CUDA
          • Data Parallelism
        • Graphics
          • Graphics Processors
        • Machine Learning
          • Google Tensor Processing Unit (TPU)
        • Memory Subsystem
          • Multiprocessor Issues
            • Cache Coherence
            • Memory Consistency
            • MESI Protocol
            • Multiprocessor Issues
          • Cache Organization
          • Load Store Queue
          • Memory Scheduler
          • Memory Subsystem
          • System Level Memory
          • Virtual Memory and Caches
        • Out of Order
          • Hardware Speculation
            • Handling Branches
            • Handling Faults
            • Multiple Issue Processor
            • Tomasulo's Algorithm
          • Branch Prediction
          • Decode
          • Example Architectures
          • Front End
          • Instruction Orders
          • Renaming
        • ACA Study Guide
        • Advanced Computer Architecture
        • Floating Point Multiplication
        • Hardware Description Languages (HDL)
        • Modeling and Simulating Hardware
        • Simultaneous Multithreading (SMT)
        • System Verilog
        • Verilog
      • CS 380C Advanced Topics in Compilers
        • Dataflow Analysis
          • Dataflow Analysis
          • Pointer Analysis
          • Register Allocation
          • Solving Fixpoint Equations
        • Dependences and Loop Transformations
          • Dependence Relations and Dependence Abstractions
        • Machine Learning
          • Mathematical Basis of Machine Learning
        • Presentations
          • Large Language Models for Code Generation
          • Optimization of Sparse Tensor Computations and GNNs
          • System Optimizations for LLMs
        • Programming Languages
          • Control Dependence
          • Dominators
          • Static Single Assignment (SSA) Form
        • Cache Models and Program Transformations
        • Context Free Grammars
        • Control Flow Graphs
        • Inference Rules
        • Intermediate Code Representation (IR)
        • Introduction to Compilers
        • Recursive Descent Parsers
        • SaM A Simple Stack Machine
        • Scalar Optimizations
      • M 427J Differential Equations and Linear Algebra
        • Exact Equations
        • First Order Linear Equations
        • Introduction to Differential Equations
        • Separable Equations
        • SIR Model
      • RBT 350 Robotics
        • Electronics
          • Analog Circuits
        • Statics
          • Deformable Bodies
          • Force Analysis
          • Friction
      • Sand to Chips
        • Static Timing Analysis
        • Transistor Layout and Masking for Fabrication
  • Technologies
    • Data Science
      • R (Language)
    • DevOps
      • Containerization
      • Jira
    • Electronics
      • Transistors
    • Embedded
      • Testing
        • VectorCAST
    • Operating Systems
      • Huge Page Allocation
    • Robotics
      • Sensors
        • Strain Gauges
    • Breakpoints
  • First Note
  • README
Home

❯

Semesters

❯

Spring 2025 Semester

❯

Sand to Chips

❯

Static Timing Analysis

Static Timing Analysis

Mar 07, 20251 min read

Why Timing Analysis?

Clocks


Graph View

  • Notes Source