Support for multiprocessor synchronization and resource sharing in system-on-programmable chips with softcores. - Paolo Gai; Giuseppe Lipari; Marco Di Natale; Matteo Duranti; Alberto Ferrari (SoCC, 2005)