It was planned since a long time ago, but it is just now that tkgate landed into Fedora Electronic Lab (therefore also in Fedora 9, 10 and devel).
Tkgate is a digital circuit simulator which allows many things: graphical circuit design, logic simulation through GUI or scripts, breakpoints, etc. etc. It seems to be really amazing and I am just discovering it, but if you have interest in that domain, try it, you'll have a good surprise.
We choose to include version 2.0beta7. The development being really active, we can expect having a (more) stable release very soon.
Examples and tutorials are part of it, you will certainly find some in a language you understand. And of course, the fine manual can also be found online.
Here is a screenshot of its interface:
