EFSM-based model-driven approach to concolic testing of system-level design

2011 ◽  
Author(s):  
Giuseppe Di Guglielmo ◽  
Masahiro Fujita ◽  
Franco Fummi ◽  
Graziano Pravadelli ◽  
Stefano Soffia
Keyword(s):  
System Level ◽  
System Level Design ◽  
Model Driven ◽  
Concolic Testing ◽  
Level Design ◽  
Model Driven Approach

Low-complexity SPICE Analog Behavioral Modeling of the ideal battery for system level design

2020 ◽  
Author(s):  
Ariel Jimenez ◽  
Natalia Morales ◽  
Carlos Paez ◽  
Arturo Fajardo ◽  
Gabriel Perilla
Keyword(s):  
Low Complexity ◽  
Behavioral Modeling ◽  
System Level ◽  
System Level Design ◽  
Level Design ◽  
The Ideal

A Case Study of FPGA Blokus Duo Solver by System-Level Design

2014 ◽  
Vol 42 (4) ◽  
pp. 57-62
Author(s):  
Yuki Ando ◽  
Masataka Ogawa ◽  
Yuya Mizoguchi ◽  
Kouta Kumagai ◽  
Miaw Torng-Der ◽  
...  
Keyword(s):  
System Level ◽  
System Level Design ◽  
Level Design

All together now [system-level design]

2005 ◽  
Vol 3 (4) ◽  
pp. 34-39
Author(s):  
M. Lippett ◽  
A. Oung
Keyword(s):  
System Level ◽  
System Level Design ◽  
Level Design
Sign in / Sign up

Export Citation Format

Share Document