Search Sciweavers | Sciweavers

352 search results - page 5 / 71

» VHDL

112

click to vote

EURODAC
1994
IEEE

112views VHDL» more EURODAC 1994»

Minimizing ROBDD Size of Incompletely Specified Multiple Output Functions

15 years 10 months ago

Download cad63.cs.nthu.edu.tw

Shih-Chieh Chang, David Ihsin Cheng, Malgorzata Ma...

claim paper

Read More »

click to vote

EURODAC
1994
IEEE

106views VHDL» more EURODAC 1994»

Scheduling with Environmental Constraints based on Automata Representations

15 years 10 months ago

Download si2.epfl.ch

Jerry Chih-Yuan Yang, Giovanni De Micheli, Maurizi...

claim paper

Read More »

126

click to vote

EURODAC
1994
IEEE

146views VHDL» more EURODAC 1994»

Efficient algorithms for interface timing verification

15 years 10 months ago

Download www.cecs.uci.edu

Ti-Yen Yen, Wayne Wolf, Albert E. Casavant, Alex I...

claim paper

Read More »

124

click to vote

EURODAC
1994
IEEE

124views VHDL» more EURODAC 1994»

Parallel controller synthesis from a Petri net specification

15 years 10 months ago

Download www.cecs.uci.edu

Krzysztof Bilinski, Erik L. Dagless, Jonathan M. S...

claim paper

Read More »

100

click to vote

EURODAC
1994
IEEE

104views VHDL» more EURODAC 1994»

An efficient verification algorithm for parallel controllers

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers