• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 22 matches

• 2009
• 
  Jesse Chen:
  A modeling methodology for verifying functionality of a wireless chip. BMAS 2009: 96-101
• 
  Jung H. Cho, Mark G. Arnold:
  Powering embedded CMOS logic on MEMS-based micro-robots. BMAS 2009: 73-77
• 
  Dirk Dammers, Christian Domingues, Daniel Schollän, Lars Michael Voßkämper:
  Mixed signal system design verification accelerated with detector-based diagnostic method. BMAS 2009: 66-72
• 
  Andrii Dudka, Dimitri Galayko, Philippe Basset:
  VHDL-AMS modeling of adaptive electrostatic harvester of vibration energy with dual-output DC-DC converter. BMAS 2009: 13-18
• 
  Hamza Fraz, Niclas Björsell, J. Stevenson Kenney, Roland Sperlich:
  Prediction of Harmonic Distortion in ADCs using dynamic Integral Non-Linearity model. BMAS 2009: 102-107
• 
  Samuel Frew, Hadi Najar, Edmond Cretu:
  VHDL-AMS behavioural modelling of a CMUT element. BMAS 2009: 19-24
• 
  Joachim Haase, Christoph Sohrmann:
  VHDL-AMS Statistical Analysis for marginal probabilities. BMAS 2009: 114-119
• 
  Farakh Javid, Ramy Iskander, Marie-Minerve Louërat:
  Simulation-based hierarchical sizing and biasing of analog firm IPs. BMAS 2009: 43-48
• 
  Christoph Knoth, Veit B. Kleeberger, Petra Nordholz, Ulf Schlichtmann:
  Fast and waveform independent characterization of current source models. BMAS 2009: 90-95
• 
  Hans-Peter Kreuter, Vladimír Kosel, Michael Glavanovics, Robert Illing:
  System level modeling of smart power switches using SystemC-AMS for digital protection concept verification. BMAS 2009: 37-42
• 
  Bao Liu:
  Analysis and extraction of parametric variation effects on microelectrofluidics-based biochips. BMAS 2009: 60-65
• 
  Ping Lu, Daniel Glaser, Gürkan Uygur, Susanne Weichslgartner, Klaus Helmreich, A. Lechner:
  Mixed-signal test development using open standard modeling and description languages. BMAS 2009: 78-83
• 
  Torsten Mähne, Alain Vachoux:
  Supporting dimensional analysis in SystemC-AMS. BMAS 2009: 108-113
• 
  Thang Nguyen, Martin Duregger, Georg Pelz:
  Full system verification of CAN network at high speed transmission rate using VHDL-AMS. BMAS 2009: 84-89
• 
  Benjamin Nicolle, Arnaud Legendre, Louis Ferrero, Leonhard Zastrow:
  Virtual skin: a behavioral approach helps verification. BMAS 2009: 7-12
• 
  Marcelo Silva:
  AMS static voltage level check. BMAS 2009: 49-53
• 
  Yifan Wang, Christoph van Meersbergen, Hans-Werner Groh, Stefan Heinen:
  Event driven analog modeling for the verification of PLL frequency synthesizers. BMAS 2009: 25-30
• 
  Yaseen Zaidi, Christoph Grimm, Jan Haase:
  Analog behavior refinement in system centric modeling. BMAS 2009: 31-36
• 
  Daniel Zaum, Stefan Hoelldampf, Markus Olbrich, Erich Barke, Ingmar Neumann, Sebastian Schmidt:
  The PRAISE approach for accelerated transient analysis applied to wire models. BMAS 2009: 120-125
• 
  Yi Zeng, Farouk Azizi, Carlos H. Mastrangelo:
  Behavioral modeling of solute tracking in microfluidics. BMAS 2009: 1-6
• 
  Ting Zhu, Paul D. Franzon:
  An enhanced macromodeling approach for differential output drivers. BMAS 2009: 54-59
• 
  2009 IEEE International Behavioral Modeling and Simulation Workshop, BMAS 2009, San Jose, CA, USA, September 17-18, 2009. IEEE 2009, ISBN 978-1-4244-5358-0 [contents]