Making a Game of Hardware Design

no-life-guy writes "Researchers at the University of Michigan have developed a web-game to harness the natural human abilities for electronic design automation (EDA). Arguing that people are still much better than computers in games of strategy and visualization, and that we'll do anything as long as it's fun, a group created FunSAT — a game where an average Joe gets to solve a Boolean satisfiability problem. Known as SAT, this problem is an important component in various hardware design tools from formal verification to IC layout to scheduling. The pilot version is a puzzle-like single-player Java app (akin to those addictive web-games), but the researchers envision that it can be extended to a multi-player (and, perhaps, replace WoW as the favorite past-time of the millions), so anybody can be a hardware designer. If anything, this is definitely a great learning tool."

KOHCTPYKTOP is more fun

[Fry-kun]

Though it doesn't serve a useful purpose (other than entertainment)

http://www.zachtronicsindustries.com/pivot/entry.php?id=79 [zachtronic...stries.com]

Re:Not so fun

[wagnerrp]

The puzzles get larger and more complex quickly, but can still be solved in a largely mechanical manner. The bigger issue is that these hardware designers know nothing of software design. Ten minutes in and eight levels passed, I notice the 'game' getting very sluggish. I pull up task manager and find 'java.exe' bouncing between 95-98% CPU usage.

Re:Not so fun

[Jurily]

A simple brute force approach should be able to outperform a human by atleast a factor of millions.

Till level 5, at least, yes. But I imagine that's only the tutorial. As the levels advance, the puzzles get increasingly interconnected, and I imagine it'll take some real intuition to get past the bigger levels.

Brute force definitely won't cut it. The goal here might be to figure out an algorithm that behaves like a skilled human, only millions of times faster.

Re:Not so fun

[Jurily]

Stopped playing at level 10, because of UI issues [photobucket.com], and because it takes over half a second to update the screen after each click.

However, this game could be much more interesting if it had a scripting interface.

This IS awesome.

[BlueKitties]

I opened the game in one tab (Chrome) and the article in another. According to the article, the larger the bubble is the more buttons control its color -- by pressing the button tied to the bubble, the color will change accordingly. The smaller the bubble, the more buttons control it. Once all bubbles become green, you've won the game.

If a bubble only has "one" button tied to it, that we know for a FACT that button must set that bubble to green -- we now don't have to worry about that button! Using similar tactics, this becomes an interesting cat-and-mouse game of whack-the-bubble. If you didn't enjoy the game or felt it's mechanical, give it a second chance and try to figure out how to use strategy -- it's actually really damn fun, and requires a lot of thought and careful reasoning. Don't worry, if it seemed hard at first, you're not a dunce, you're probably just not looking at things the right way.

Re:KOHCTPYKTOP is more fun

[MarkGriz]

It's pretty interesting, though the tutorial video with the inverter completely ignores the fact that you need to also drive the outputs to ground when the inputs are high. Not exactly the EDA fundamentals you want to teach people.