Re: risu instruction set test harness now publicly available

2010-12-08 Thread Dave Martin
On Wed, Dec 8, 2010 at 1:34 PM, Peter Maydell wrote: > On 8 December 2010 12:57, Dave Martin wrote: >> On Wed, Dec 8, 2010 at 12:04 PM, Peter Maydell >> wrote: >>> Hi. As part of my work on qemu I've written a simplistic random instruction >>> sequence generator and test harness. > >> I'd thoug

Re: risu instruction set test harness now publicly available

2010-12-08 Thread Peter Maydell
On 8 December 2010 12:57, Dave Martin wrote: > On Wed, Dec 8, 2010 at 12:04 PM, Peter Maydell > wrote: >> Hi. As part of my work on qemu I've written a simplistic random instruction >> sequence generator and test harness. > I'd thought about this sort of thing before, but there were some > inte

Re: risu instruction set test harness now publicly available

2010-12-08 Thread Dave Martin
On Wed, Dec 8, 2010 at 12:04 PM, Peter Maydell wrote: > Hi. As part of my work on qemu I've written a simplistic random instruction > sequence generator and test harness. To quote the README: > > risu is a tool intended to assist in testing the implementation of > models of the ARM architecture su

risu instruction set test harness now publicly available

2010-12-08 Thread Peter Maydell
Hi. As part of my work on qemu I've written a simplistic random instruction sequence generator and test harness. To quote the README: risu is a tool intended to assist in testing the implementation of models of the ARM architecture such as qemu and valgrind. In particular it restricts itself to co