In this post I demonstrate some of the features of the Alloy modeling language by solving simple logic riddles.
...read more
This post is an introduction to the Alloy software modeling toolset. It covers some basic features of the language and syntax for constructing models.
...read more
This is a brief post on installing and running the Alloy software modeling tool.
...read more
This post is the final in my series on implementing AES in Configurable Digital Logic, in which I integrate the AES Counter module into a practical software/firmware design for the Zynq7000 FPGA.
...read more
This post is the seventh part in my AES in CDL series. In this post, I create a module to facilitate encryption and decryption of data stored in a block RAM.
...read more