DigiX support:
This might help you debug the root cause
OK - at this point I have tried 3 different cables, I've tried supplying external 12V/2A power and on the Mac OS 10.9, Ubuntu 12.04 under VirtualBox on the same Macbook.
I've twice held down the erase button for several seconds while applying power.
In all cases the system sees the device (lsusb on linux and System Report in MacOS) but the Arduino IDE doesn't see the port.
So, was this a Macbook issue or a bad board? There's one sure way to find out:
I pulled out a Linux 12.04 64 bit netbook and installed the IDE 1.5.5 (with the ia32-lib) and ... voila! There's port ACM0 and I could upload blink.
So I put the board back on the Mac and Arduino now showed 2 ports (!) WTH?
But I went to upload Blink on the Mac and the port disappeared - Arduino told me that there was no board on the selected port (see below) and sure enough the 2 ports were no longer in the menu.
I did this cycle, Linux works, mac doesn't a few times. Once the mac loses the port, it's lost (resetting and unplugging have no effect) but if I plug it back into the Linux netbook and upload a sketch from there, then the Mac IDE sees the port on the next attempt, but then loses it as described above. Just plugging the board into the linux book and bringing up the IDE do not "reset" it, I have to upload a sketch from Linux to next enable it on the mac.
One more relevant observation: The sketch I attempt to upload from the mac never runs and I have to reset the board before I can then access it on the linux book.
rocessing.app.debug.RunnerException: Couldn't find a Board on the selected port. Check that you have the correct port selected. If it is correct, try pressing the board's reset button after initiating the upload.
at cc.arduino.packages.uploaders.SerialUploader.waitForUploadPort(SerialUploader.java:213)