Computer Architecture Design and Test for Embedded Systems

Research Output 1971 2019

1995

SIL: An Intermediate for Syntax-Based VHDL Synthesis

Molenkamp, E., Mekenkamp, G. E., Hofstede, J. & Krol, T., 29 Jan 1995, Proceedings of VIUF Spring 1995 Conference. San Diego, USA, p. 5.1-5.10

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Transformational Design of Digital Systems Related to Graph Rewriting

Huijs, C., 29 Jan 1995, p. 297-305.

Research output: Contribution to conferencePaperAcademicpeer-review

Transformations for the Design of Controlpath Architectures

ten Berg, A. J. W. M. & Krol, T., 29 Jan 1995, Proceedings of Design Methodologies for Microelectronics. Smolenice Castle, Slovakia, p. 288-296

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Downloads (Pure)

Usability: Formalising (un)definedness in typed lambda calculi

Kuper, J., Pacholski, L. (ed.) & Tiuryn, J. (ed.), 1995, p. 76-90. 15 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

VHDL and CDFG Based Transformational Design: a Case Study

Middelhoek, P. F. A., Mekenkamp, G. E., Molenkamp, E. & Krol, T., 1 Jun 1995, Proc. of the Prorisc/IEEE Workshop on CSSP. Mierlo, p. 203-212

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

30 Downloads (Pure)

Virtual lines; A deadlock free and real-time routing mechanism for ATM networks

Smit, G. J. M., Havinga, P. J. M. & Tibboel, W. H., 1995, In : Information sciences. 1995, 851-3, p. - 14 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
1994

A denotational semantics for SIL-1 as basis for transformational design of digital systems

Huijs, C., 25 Mar 1994, 8th Workshop Computer Systems. Technical Report CS-94-04 of University of Amsterdam Deparment of Computer Systems. (Pieter Hartel (Eds)). Amsterdam, p. 13-25

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

A formal semantic model to fit SIL for transformational design

Huijs, C. & Krol, T., 19 Dec 1994, The 20th Euromicro Conference. Liverpool, United Kingdom, p. 100-107

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

18 Downloads (Pure)

A Switch Architecture For Real-time Multimedia Communications

Smit, G. J. M. & Havinga, P. J. M., 1994, 2nd Euromicro Workshop on Parallel and Distributed Processing. Los Alamitos, California: IEEE, p. 438-444 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File

Slimme schakelaar routeert real-time multimediadata

Smit, G. J. M. & Havinga, P. J. M., 1994, In : Elektronica. 42, 12, p. 34-43

Research output: Contribution to journalArticleProfessional

2 Downloads (Pure)

The Design of Central Switch Communication Systems for Multimedia Applications

Smit, G. J. M., 17 Feb 1994, Enschede: Universiteit Twente. 200 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
1993
4 Citations (Scopus)
38 Downloads (Pure)

An Axiomatic Theory for Partial Functions

Kuper, J., Nov 1993, In : Information and computation. 107, 1, p. 104-150 47 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Partial
Set theory
Predicate Logic
Definability
Lambda Calculus

Applying Software Transformations to SIL

Engelen, W. J. A., Hofstede, J., Huijs, C., Krol, T. & Middelhoek, P. F. A., 26 Jan 1993, p. -.

Research output: Contribution to conferencePaperAcademic

Course Digital System Design

Molenkamp, E. & Huijs, C., 31 Mar 1993, VHDL Forum for CAS. Innsbruck, Germany, p. 1-11

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

37 Downloads (Pure)

MISSED: an environment for mixed-signal microsystem testing and diagnosis

Kerkhoff, H. G. & Docherty, G., 1993, p. 88-93.

Research output: Contribution to conferencePaperAcademic

File

Performance Analysis of Routing Algorithms for the Rattelsnake Network

Havinga, P. J. M., 18 Jan 1993, San Diego, USA

Research output: Other contributionOther research output

Performance Analysis of Routing Algorithms for the Rattlesnake Network

Smit, G. J. M. & Havinga, P. J. M., 1 Jun 1993, International workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems '93.. San Diego, USA, p. 155-160

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

44 Downloads (Pure)

Relational Algebra as formalism for Hardware Design

ten Berg, A. J. W. M., ten Berg, A. J. W. M., Huijs, C. & Krol, T., 1993, In : Microprocessing and Microprogramming. 38, 38, p. 403-410

Research output: Contribution to journalArticleAcademic

File

Relational Semantics for Flow Graph Representations as basis for Transformational Design of Digital Systems

Huijs, C. & Krol, T., 25 Jan 1993, Proceedings of the workshop on Design Methodologies for Microelectronics and Signal Processing.. Gliwice-Cracow, Poland, p. 21-29

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Relational Semantics for Flow Graph Representations as basis for Transformational Design of Digital Systems

Huijs, C., 21 Oct 1993, Gliwice-Cracow, Poland

Research output: Other contributionOther research output

SIL Transformations on sequence edges

Huijs, C. & Krol, T., 26 Jan 1993, Enschede

Research output: Other contributionOther research output

The order relation of recursively defined SIL-1 nodes as part of a denotational semantics

Huijs, C., 26 Jan 1993, Enschede

Research output: Other contributionOther research output

39 Downloads (Pure)

Virtual lines, a deadlock free and real-time routing mechanism for ATM networks

Smit, G. J. M., Havinga, P. J. M. & Tibboel, W. H., 1993. 8 p.

Research output: Contribution to conferencePaperAcademic

File

Virtual lines: a dead-lock free and real-time routing mechanism for ATM Networks

Smit, G. J. M. & Havinga, P. J. M., 25 Jan 1993, 4th International Workshop on Network and Operating Systems Support for Digital Audio and Video.. Lancaster, United Kingdom, p. 83-86

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Virtual lines: a routing mechanism for switch networks

Smit, G. J. M. & Havinga, P. J. M., 25 Jan 1993, 8th. International Symposium on Computer and Information Sciences.. Antalya, Turkey, p. - 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Virtual lines: a routing mechanism for switch networks

Havinga, P. J. M., 4 Nov 1993, Antalya, Turkey

Research output: Other contributionOther research output

1992
1 Citation (Scopus)
39 Downloads (Pure)

A high-density sea-of-gates architecture incorporating testability support

Koopman, R. J. H., Koopman, R. J. H. & Kerkhoff, H. G., 10 May 1992, Proceedings 1992 IEEE International Symposium on Circuits and Systems. San Diego, U.S.A.: IEEE, p. 2977-2980

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
22 Citations (Scopus)
47 Downloads (Pure)

A Polynomial-Time Algorithm for the Computation of the Iteration-Period Bound in Recursive Data-Flow Graphs

Gerez, S. H., Heemstra de Groot, S. M. & Herrmann, O. E., 1992, In : IEEE transactions on circuits and systems I: fundamental theory and applications. 0, 1, p. 49-52 4 p.

Research output: Contribution to journalArticleAcademicpeer-review

File

A Programmable communication architecture based on Kautz graphs

Smit, G. J. M., Havinga, P. J. M. & Jansen, P. G., 1992, Proceedings of the 12th IFIP World Computer Congress 1992. Amsterdam: North Holland, p. 578-584 7 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

A Programmable Communication Architecture Based on Kautz Networks

Smit, G. J. M., Havinga, P. J. M. & Jansen, P. G., Sep 1992, 12th World Computer Congress -- Algorithms, Software, Architecture. van Leeuwen, J. (ed.). Amsterdam: IFIP Transactions A-12 North-Holland, p. 578-584 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

28 Downloads (Pure)

A test chip for automatic reliability measurements of interconnect vias

Lippe, K., Hasper, A., Elfrink, G. W., Niehof, J. & Kerkhoff, H. G., 31 Mar 1992, 30th Annual Proceedings Reliability Physics 1992. Piscataway, NJ: IEEE, p. 247-250

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Networks (circuits)
Electromigration

A Useful interface between specifications and silicon compilers

Hofstede, J., Huijs, C. & Krol, T., 9 Apr 1992, Proceedings of the workshop on Circuits, Systems and Signal Processing. Houthalen (Belgie), p. 99-104 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Fifth Workshop on design, realisation and application of advanced computersystems

Huijs, C., 1992, Enschede: Universiteit Twente. 47 p.

Research output: Book/ReportBookProfessional

39 Downloads (Pure)

On the design of a dynamic reconfigurable network switch

Smit, G. J. M., Havinga, P. J. M. & Jansen, P. G., 1992, In : Microprocessing and Microprogramming. 1992, 34, p. 59-62 4 p.

Research output: Contribution to journalArticleAcademic

File
63 Citations (Scopus)
44 Downloads (Pure)

Range Chart-Guided Iterative Data-Flow-Graph Scheduling

Heemstra de Groot, S. M., Gerez, S. H. & Herrmann, O. E., 1992, In : IEEE transactions on circuits and systems. 0, 5, p. 351-364 14 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
44 Downloads (Pure)

Rattlesnake: A Network for Real-Time Multimedia Communications

Smit, G. J. M., Havinga, P. J. M. & Smit, M. J. P., Apr 1992, 4th IEEE ComSoc International Workshop on Multimedia Communications (MULTIMEDIA). Los Alamitos, CA: IEEE, p. 89-100 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Bandwidth
Communication
Telecommunication links
Ethernet
Local area networks
14 Downloads (Pure)

Rattlesnake: a network for real-time Multimedia Communication

Smit, G. J. M., Havinga, P. J. M., Smit, M. J. P. & Smit, M. J. P., 1992, In : Computer communication review. 22, 3, p. 29-30 2 p.

Research output: Contribution to journalArticleAcademic

File
32 Downloads (Pure)

Scan cell design for enhanced delay fault testability

van Brakel, G., van Brakel, G., Xing, Y., Xing, Y. & Kerkhoff, H. G., 1 Sep 1992, Proceedings IEEE ASIC'92. Rochester, NY: IEEE, p. 372-375

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File

SIL-1 Language Report

Kloosterhuis, W. E. H., Eyckmans, M. R. R., Hofstede, J., Huijs, C., Krol, T., Mc Ardle, O. P., Smits, W. J. M. & Svensson, L. G. L., 1992, Eindhoven: Philips. 49 p.

Research output: Book/ReportReportProfessional

The architecture of Rattlesnake: a Real-time Multimedia Network

Smit, G. J. M. & Havinga, P. J. M., 12 Nov 1992, Proceedings Third IEEE Workshop on Network and Operating System Support for Digital Audio and Video. San Diego, CA, p. 13-22 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Transformations and semantical checks for SIL-1

Huijs, C., Hofstede, J. & Krol, T., 1992, Enschede: Universiteit Twente. 53 p.

Research output: Book/ReportReportProfessional

1991
30 Downloads (Pure)

A design for testability expert system for silicon compilers

van Riessen, R. P., van Riessen, R. P., Kerkhoff, H. G. & Janssen, J. M. J., 1 Apr 1991, Proceedings 9th Anual IEEE VLSI Test Symposium. Atlantic City: IEEE, p. 10-15

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
13 Downloads (Pure)

An algorithm for generating node disjoint routes in Kautz diagraphs

Smit, G. J. M., Havinga, P. J. M. & Jansen, P. G., 1 May 1991, Fifth IEEE parallel processing symposium. Anaheim USA: IEEE, p. 102-107 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
10 Citations (Scopus)

An Algorithm for Generating Node Disjoint Routes in Kautz Digraphs

Smit, G. J. M., Havinga, P. J. M. & Jansen, P. G., Apr 1991, 5th Int. Parallel Processing Symp.. Kumar, V. K. P. (ed.). Los Alamitos, California: IEEE Computer Society, p. 102-107 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

12 Downloads (Pure)

A new hierachical approach to test-pattern generation

Weening, E. C., Weening, E. C. & Kerkhoff, H. G., 1 Sep 1991, Proceedings IEEE Int. ASIC Conference and Exhibit. Rochester: IEEE, p. 6.1.1-6.1.4

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
19 Downloads (Pure)

A performance analysis tool for performance-driven micro-cell generation

Peset Llopis, R., Peset Llopis, R., Koopman, R. J. H., Kerkhoff, H. G. & Braat, J. A., 1 Mar 1991, Proceedings European Design Automation Conference. Amsterdam: IEEE, p. 576-580

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2 Citations (Scopus)
27 Downloads (Pure)

Distributed time management in transputer networks

Vervoort, W., te West, R., Schoute, A. L. & Hofstede, J., 14 Jun 1991, Euromicro'91 workshop on realtime systems. Parijs-Orsay: IEEE, p. 224-230 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
Transputers
Clocks
Synchronization
Time measurement
Identification (control systems)

Generating node disjoint routes in Kautz diagraphs

Smit, G. J. M., Havinga, P. J. M. & Jansen, P. G., 8 Nov 1991, CSN '91 Congres SION. Utrecht, p. 514-527 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

15 Downloads (Pure)

On hardware for generating routes in Kautz graphs

Smit, G. J. M., Havinga, P. J. M., Jansen, P. G., de Boer, F. & Molenkamp, B., Aug 1991, In : Microprocessing and Microprogramming. 32, 1-5, p. 593-600 8 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Open Access
File
Hardware
Field programmable gate arrays (FPGA)
1990

(Editor of) Proceedings of the first workshop on design, realisation and application of advanced computer systems

Huijs, C., 1 Oct 1990, First workshop on design, realisation and application of advanced computer systems. Enschede, p. 1-16 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review