« NSF CFP for emb/hyb ssystems for 2004 | Main | Buying a car on the third market »
October 27, 2004
Open source embedded mp3 players
[EE Times -Trio builds open-source MP3 player] Makes an interesting verification pilot project. We want to use our formal verification tools to verify properties of such a design. The tools can't handle such complexity now, but that's what makes it interesting research. If you've got an open or closed source MP3 player for an embedded processor you need verified (well, not anytime soon, but you'd like some intense debug time spent on it for free) let me know. We'll sign any NDA put before us :).
Interestingly, the open source MP3 player listed above was released on a Cirrus EP7212 board. Surprisingly, the EP7212 board uses an ARM720T processor. That's not all bad since we have an ARM720T simulator with gdb 6.1. Now, the twist is that the EP7212 is discontinued, but, the EP7312 has since been released and also uses the ARM720T. Can the old MP3 code be used on the new board?
Here's a few other open source mp3 player projects...
- list of mp3 player projects
- Coldfire and some SnapGear NETtel thing that uses various open source decoders and uc Linux to implement an MP3 player that reads off ethernet. uCLinux on the Motorola ColdFire. The coldfire page. ucLinux tools for the mac. The gdb 6.1 docs describe a m68k sim directory and how to make it simulate a coldfire. But, my 6.1 distro on my Mac has no such directory :(
- Very cool and very open source mp3 player but, it doesn't appear to be implemented on a "standard" processor that we can simulate in gdb 6.1.
- My German isn't so good. But I think that's an AtmelAT90S8515Eight-BitMikrocontroller it that mp3 player, with open source code.
- an MP3 player for the ARM 9 not sure where all the source code is.
Posted by jones at October 27, 2004 03:58 PM
Comments
Post a comment
Thanks for signing in, . Now you can comment. (sign out)
(If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)