Concept

Functional specification

Related lectures (30)

Hardware Verification using High-Level Design Languages

Explores challenges in hardware verification, clear specifications, speculation harm, and cycle-precise semantics.

Intermediate Rendering: Design Solutions Presentation

Covers the requirements for the intermediate rendering and the evaluation criteria for design solutions presentation.

Star Aware Software for Cyber-Physical Systems

Explores the importance of software being physically aware in cyber-physical systems to ensure system functionality and reliability.

Surface States in Mechanical Construction

Discusses the significance of surface states in mechanical construction and their impact on functionality.

Mechanical Construction I: Dimensional Tolerancing

Explores mechanical systems, tolerancing, assembly documentation, and material behavior, emphasizing precise adjustments and ISO standards.

Product Value Chain: Imagine, Design, Develop

Explores key strategic topics in the product value chain, emphasizing market needs, specifications, partnerships, standards, intellectual property, and user experience.

Types of Drawings: Functions and Process

Discusses the functions and importance of drawings in the design and construction process, emphasizing detailed plans and standards.

From Tests to Proof

Explores the shift from software testing to formal specifications, highlighting the significance of clear requirements in software engineering.

Product Development: Lifecycle and Specifications

Explores the product lifecycle, collaboration in development, and detailed specifications for successful product development.

Developing a Model: Simple Example

Presents a simple example of developing a model with a focus on variables and causal relationships.

Requirements: User Stories

Covers the importance of user input in defining requirements and developing user stories.

Error Management in LabVIEW

Emphasizes error management in LabVIEW, source file analysis, and program execution with Xcode.

Mechanical Construction: Project Group Formation and Course Overview

Covers the course structure, project group formation, and the design of a manual winch for moving logs.

Scenarios and Requirements

Explains design scenarios, requirements, and a wine recommendation case study.

Property-Based Testing: QuickChick

Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.

Introduction to Design Reviews

Covers the objective, steps, and stakeholders in design reviews, emphasizing the importance of risk analysis and verification.

Simple OTA Design: gm/ID Methodology

Covers the design of simple OTAs using the gm/ID methodology and key parameters like transconductance and gain-bandwidth product.

Outlier Analysis

Discusses predicting future behavior and analyzing outliers in choice models.

Business-IT Alignment: Requirements Management & RPA

Covers business/IT alignment, requirements management, and an introduction to Robotic Process Automation.

From Tests to Proof

Explores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.