4 ms·As a user of Bluespec and a follower of his CA papers, salutes and RIP.by shash 2y agoAs a user of Bluespec and a follower of his CA papers, salutes and RIP.