Formal methods

Static timing analysis

Static timing analysis (STA) is a simulation method of computing the expected timing of a synchronous digital circuit without requiring a simulation of the full circuit. High-performance integrated circuits have traditionally been characterized by the clock frequency at which they operate. Measuring the ability of a circuit to operate at the specified speed requires an ability to measure, during the design process, its delay at numerous steps. Moreover, delay calculation must be incorporated into the inner loop of timing optimizers at various phases of design, such as logic synthesis, layout (placement and routing), and in in-place optimizations performed late in the design cycle. While such timing measurements can theoretically be performed using a rigorous circuit simulation, such an approach is liable to be too slow to be practical. Static timing analysis plays a vital role in facilitating the fast and reasonably accurate measurement of circuit timing. The speedup comes from the use of simplified timing models and by mostly ignoring logical interactions in circuits. This has become a mainstay of design over the last few decades. One of the earliest descriptions of a static timing approach was based on the Program Evaluation and Review Technique (PERT), in 1966. More modern versions and algorithms appeared in the early 1980s. (Wikipedia).

Video thumbnail

Reliability 1: External reliability and rater reliability and agreement

In this video, I discuss external reliability, inter- and intra-rater reliability, and rater agreement.

From playlist Reliability analysis

Video thumbnail

04 1 Local Sensitivity Analysis

Local sensitivity analysis

From playlist QUSS GS 260

Video thumbnail

CERIAS Security: Static source code analysis 2/6

Clip 2/6 Speaker: Jacob West · Fortify Software Creating secure code requires more than just good intentions. Programmers need to know how to make their code safe in an almost infinite number of scenarios and configurations. Static source code analysis gives users the ability to review t

From playlist The CERIAS Security Seminars 2008

Video thumbnail

Evaluating Time Series Models : Time Series Talk

How do we evaluate our time series models? How can we tell if one model is better than another?

From playlist Time Series Analysis

Video thumbnail

CERIAS Security: Static source code analysis 4/6

Clip 4/6 Speaker: Jacob West · Fortify Software Creating secure code requires more than just good intentions. Programmers need to know how to make their code safe in an almost infinite number of scenarios and configurations. Static source code analysis gives users the ability to review t

From playlist The CERIAS Security Seminars 2008

Video thumbnail

CERIAS Security: Static source code analysis 3/6

Clip 3/6 Speaker: Jacob West · Fortify Software Creating secure code requires more than just good intentions. Programmers need to know how to make their code safe in an almost infinite number of scenarios and configurations. Static source code analysis gives users the ability to review t

From playlist The CERIAS Security Seminars 2008

Video thumbnail

10b Data Analytics: Spatial Continuity

Lecture on the impact of spatial continuity to motivate characterization and modeling of spatial continuity.

From playlist Data Analytics and Geostatistics

Video thumbnail

CERIAS Security: Static source code analysis 1/6

Clip 1/6 Speaker: Jacob West · Fortify Software Creating secure code requires more than just good intentions. Programmers need to know how to make their code safe in an almost infinite number of scenarios and configurations. Static source code analysis gives users the ability to review t

From playlist The CERIAS Security Seminars 2008

Video thumbnail

DEFCON 15: How I Learned to Stop Fuzzing and Find More Bugs

Speaker: Jacob West Manager, Security Research Group, Fortify Software Fuzzing and other runtime testing techniques are great at finding certain kinds of bugs. The trick is, effective fuzzing requires a lot of customization. The fuzzer needs to understand the protocol being spoken, antici

From playlist DEFCON 15

Video thumbnail

ShmooCon 2013: astiff: Automated Static Analysis Framework

For more information and to download the video visit: http://bit.ly/shmoocon2013 Playlist ShmooCon 2013: http://bit.ly/Shmoo13 Speaker: Tyler Hudak Malware analysis consists of two phases -- static and dynamic analysis. Dynamic analysis, or analyzing the behavior of a sample, has already

From playlist ShmooCon 2013

Video thumbnail

SOURCE Boston 2008: The CERT C++ Secure Coding Standard

Speaker: Stephen C. Dewhurst - Co-Founder and President of Semantics Consulting, Inc. An essential element of secure coding is a well documented and enforceable coding standard. Coding standards encourage programmers to follow a uniform set of rules and guidelines determined by the requir

From playlist SOURCE Boston 2008

Video thumbnail

OWASP AppSecUSA 2012: Using Interactive Static Analysis for Detection of Software Vulnerabilities

Speaker: Bill Chu We present our work of using interactive static analysis to improve upon static analysis techniques by introducing a new mixed-initiative paradigm for interacting with developers to aid in the detection and prevention of security vulnerabilities. The key difference betwe

From playlist OWASP AppSecUSA 2012

Video thumbnail

EE102: Introduction to Signals & Systems, Lecture 21

These lectures are from the EE102, the Stanford course on signals and systems, taught by Stephen Boyd in the spring quarter of 1999. More information is available at https://web.stanford.edu/~boyd/ee102/

From playlist EE102: Introduction to Signals & Systems

Video thumbnail

CERIAS Security: Static source code analysis 5/6

Clip 5/6 Speaker: Jacob West · Fortify Software Creating secure code requires more than just good intentions. Programmers need to know how to make their code safe in an almost infinite number of scenarios and configurations. Static source code analysis gives users the ability to review t

From playlist The CERIAS Security Seminars 2008

Video thumbnail

Simplilearn: Software Test Static Analysis | Software Testing Certification Classes | CTFL Training

Simplilearn (http://www.simplilearn.com/simplilearn/events/ctfl-training-india ), a leading global training provider & pioneer of the Blended Model [Classroom + Online Learning] Training for CTFL Certification Exam, is conducting a 2-day full-time intensive CTFL Software Testing Certifica

From playlist CTFL Conceptual Videos

Related pages

Depth-first search | Flip-flop (electronics) | Statistical static timing analysis | Synchronous circuit | Critical path method | Model checking | Dynamic timing verification