Electronic System Level Design and Verification: Practicum Opdracht 3

© Harry Broeders.

Deze pagina is bestemd voor studenten van de Haagse Hogeschool - Faculteit Technologie, Innovatie & Samenleving groep MNES = minor Embedded Systems.

Het is de bedoeling dat je maximaal 2 weken met deze opdracht bezig bent, 4 uur op het practicum en 4 uur daarbuiten.

Scheduling Puzzle

In de les hebben we de puzzel met de springende kikkers opgelost. Bedenk zelf een puzzel die met behulp van SPIN opgelost kan worden en los deze puzzel ook echt op met SPIN. Kijk hier als je zelf niets kunt bedenken: http://www.mathpuzzle.com/loyd/.

Bijvoorbeeld:

• The moving day puzzle op pagina 82: http://www.mathpuzzle.com/loyd/cop082-083.html (zie ook hier: http://www.johnrausch.com/SlidingBlockPuzzles/moving.htm)
• The 14-15 puzzle op pagina 235: http://www.mathpuzzle.com/loyd/cop234-235.html (zie ook hier: http://www.xs4all.nl/~hc11/15puzzle/15puzznl.htm).