Sage Journals: Discover world-class research

Open access

Research article

First published 2009-2

Dependence Graph Based Verification and Synthesis of Hardware/Software Co-Designs with SAT Related Formulation

Masahiro Fujita, Kenshu Seto, Thanyapat Sakunkonchak

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2016

SyLVaaS: System Level Formal Verification as a Service *

Toni Mancini, Federico Mari, Annalisa Massini [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2022-08-10

RETRACTED: Simpson’s rule based accurate mathematical modelling of photovoltaic cell using multi-objective genetic algorithm for hardware verification

R. IssanRaj, S. Visalakshi

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Open access

Research article

First published 2021-1

Development and verification of individual motor control technology to improve the driving performance of independently rotating wheel type railway vehicle using hardware-in-the-loop (HIL) Simulator

Yonho Cho

Measurement and Control

Retricted access

Research article

First published 2001-10

Prototyping Hardware and Software Environment for Teaching Digital Circuit Design

Andrej Trost, Andrej Zemva, Matjaz Verderber

International Journal of Electrical Engineering & Education

Open access

Research article

First published 2012-10

A Ground-Based Validation System of Teleoperation for a Space Robot

Xueqian Wang, Houde Liu, Wenfu Xu [...]

International Journal of Advanced Robotic Systems

Retricted access

Research article

First published 1987-06

Dynamic multi-level simulation of digital hardware designs

Sumit Ghosh

SIMULATION

Retricted access

Research article

First published 2019-1

Force-based delay compensation for hardware-in-the-loop simulation divergence of 6-DOF space contact

Qian Wang, Chenkun Qi, Feng Gao [...]

Proceedings of the Institution of Mechanical Engineers,Part G: Journal of Aerospace Engineering

Retricted access

Research article

First published 1998-7

Educational Programmable System for Prototyping Digital Circuits

Andrej Žemva, Andrej Trost, Baldomir Zajc

International Journal of Electrical Engineering & Education

Retricted access

Research article

First published 1998-2

Co-Testing: Granting Testability in a Codesign Environment

Giacomo Buonanno, MariaGiovanna Sami

Integrated Computer-Aided Engineering

Search results