News for hackers. Stuff that matters.
Re:AWS EC2 FPGA Hardware and Software Development Kit by wjakob on Wednesday April 19, 2017 @05:38PM (#14152038)
I'm curious as to how AWS plans to prevent users from generating malicious FPGA bitcode that physically damages the FPGA itself and/or the host machine over PCI Express. The possibility of instantiating arbitrary logic gates in the cloud seems very dangerous.
Re:AWS EC2 FPGA Hardware and Software Development Kit by jeffbarr on Wednesday April 19, 2017 @08:09PM (#14152919)
Great question! I checked in with the team and this is what they told me:

"The developer FPGA code is enclaved inside AWS FPGA Shell, to prevent malicious FPGA code from damaging the hardware and to provide the necessary protection for PCI Express and the host machine. The pin assignment of the FPGA is controlled by AWS."

And

"AWS infrastructure monitors the thermals as well and the F1 hardware was designed to sustain high power consumption to enable developers to utilize the maximal available FPGA resources and frequency."

Re:AWS EC2 FPGA Hardware and Software Development Kit by bisrig on Wednesday April 19, 2017 @09:11PM (#14153202)
I spent a few minutes poking around their project scripts, and it looks like that the design file you upload back to EC2 is a post-routed design checkpoint, which is an interesting choice... I'll bet that they are doing partial reconfiguration with the I/O ring as the "static" layer.
Re:AWS EC2 FPGA Hardware and Software Development Kit by anigbrowl on Wednesday April 19, 2017 @06:07PM (#14152259)
My very limited FPGA experience is taht the development tools give warnings about strange loops, but it sounds like it's easy enough to blow one up accidentally: https://electronics.stackexchange.com/questions/293915/vhdl-...
Re:AWS EC2 FPGA Hardware and Software Development Kit by bedros on Wednesday April 19, 2017 @06:13PM (#14152294)
I have not read the whole FPGA HDK guide yet, but, I doubt amazon will give the designer access to pins on FPGA; they would give access to interfaces or IO blocks which connect to the pins

your design sits inside a wrapper with access to IO blocks.

inside the FPGA logic, you cannot do electrical damage, no matter how hard you try.

Re:AWS EC2 FPGA Hardware and Software Development Kit by btown on Wednesday April 19, 2017 @06:16PM (#14152314)
Thermal damage may be possible, but they probably have monitoring that will shut down your logic if overheating is detected.
Re:AWS EC2 FPGA Hardware and Software Development Kit by CamperBob2 on Thursday April 20, 2017 @01:03AM (#14154094)
inside the FPGA logic, you cannot do electrical damage, no matter how hard you try.

I'd be a little worried about people making ring oscillators and driving them from the fastest possible output from a DCM. That used to be a hazard, not sure if it still would be at the UltraScale level of play.

Or creating a configurable DCM or PLL and then setting it up with illegal values at runtime, when the synthesis tool won't notice...

Re:AWS EC2 FPGA Hardware and Software Development Kit by mikejmoffitt on Wednesday April 19, 2017 @06:39PM (#14152433)
You could have a lot of combinational logic dependent on floating/high-Z inputs, which is not good for CMOS circuitry.
Re:AWS EC2 FPGA Hardware and Software Development Kit by dahtguy on Wednesday April 19, 2017 @06:48PM (#14152484)
What's so bad about high-Z inputs? Designing around a floating input is the same as designing around an undefined variable. Bad design but you can't "hurt" the hardware.
Re:AWS EC2 FPGA Hardware and Software Development Kit by femto on Wednesday April 19, 2017 @07:26PM (#14152697)
An undefined variable is an abstract construct. You can model a floating input in as being analogous to an undefined variable and the model will fit reality most of the time, but the underlying reality is still governed by the complexities of physics, with potential for the model to break down.

Damage is probably more of a risk for an external I/O, but it's still a possibility for an internal I/O. Probably more of a certainty with a malicious programmer.

Who's going to be the first person to design an on-die switched capacitor voltage multiplier, using parasitic capacitance between gates as the energy storage, and use it drive an internal high impedance input to a damaging level?

Re:AWS EC2 FPGA Hardware and Software Development Kit by duskwuff on Wednesday April 19, 2017 @07:20PM (#14152656)
The only tristate buffers in modern FPGAs are on the pins. There's no way to leave inputs floating internally.
Re:AWS EC2 FPGA Hardware and Software Development Kit by bedros on Friday April 21, 2017 @03:42AM (#14163742)
Z logic or tri-state logic are not real in FPGAs, they are chains of AND OR logic

so basically you cannot burn FPGA by making a short-circuit

Re:AWS EC2 FPGA Hardware and Software Development Kit by mikejmoffitt on Wednesday April 26, 2017 @04:48PM (#14206851)
A floating pin on a CMOS device is absolutely real.
Re:AWS EC2 FPGA Hardware and Software Development Kit by Androider on Wednesday April 19, 2017 @05:45PM (#14152083)
You break it, you buy it? AWS has your credit card on file ;)
Re:AWS EC2 FPGA Hardware and Software Development Kit by vvanders on Wednesday April 19, 2017 @05:58PM (#14152188)
I hope your credit card limits are high, digikey has them starting at $7k and going up quickly from there.