Description and verification of more-dimensional regular and non-homogeneous structures using a functional hardware description language von Ploegaerts, W., Verkest, D., Claesen, L., De Man, H.

Volltext

Application of system semantics to VLSI for the transformational design of a parameterized booth multiplier module — a case study von Claesen, L., Boute, R.T., De Man, J., Ploegaerts, W., Seutter, M., Vanslembrouck, J., Verkest, D.

Volltext

Defining Recursive Functions In HOL von Ploegaerts, W., Claesen, L., De Man, H.

Volltext bestellen