Memory controllers for real-time embedded systems predictable and composable real-time systems von Akesson, Benny, Goossens, Kees G.

DE-634
DE-1043
DE-Aug4
DE-573
DE-92
DE-898
DE-859
DE-863
DE-862
Volltext

Debugging systems-on-chip communication-centric and abstraction-based techniques von Vermeulen, Bart, Goossens, Kees G.

DE-634
DE-Aug4
DE-573
DE-92
DE-898
DE-859
DE-861
DE-863
DE-862
DE-706
Volltext

On-Chip Interconnect with aelite Composable and Predictable Systems von Hansson, Andreas, Goossens, Kees G.

DE-634
DE-1043
DE-Aug4
DE-573
DE-92
DE-898
DE-859
DE-863
DE-862
Volltext

Embedding a CHDDL in a proof system von Goossens, Kees G.

On-chip interconnect with aelite composable and predictable systems von Hansson, Andreas, Goossens, Kees G.

Inhaltstext

Embedding hardware description languages in proof systems von Goossens, Kees G.

Operational semantics based formal symbolic simulation von Goossens, Kees G.

The formalisation of a hardware description language in a proof system motivation and applications von Goossens, Kees G.