A Formal Framework for Testing with Assertion Checkers in Mixed-Signal Simulation
type: Dataset
description: ISBN 978-1-4673-1261-5
issued: 2026-05-11T09:39:38.606962
language: en
modified: 2026-05-11T09:39:38.606968
contact point: Organization
  fn: CCSD
keyword: conference-papers
keyword: infoeu-reposemanticsconferenceobject
keyword: mixed-signal
keyword: pacs-8542
keyword: spinanoengineering-sciences-physicsmicro-and-nanotechnologiesmicroelectronics
keyword: testing
landing page: Proc. of IEEE International Conference on Electronics, Circuits, and Systems (ICECS'2012)

A Formal Framework for Testing with Assertion Checkers in Mixed-Signal Simulation
type: Distribution
format: HTML
issued: 2026-05-11T09:39:38.608842
modified: 2026-05-11T09:39:38.598370
access URL: https://hal.science/hal-00815923

test_moissonnage_selune
type: Agent